| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Command.hs | 5104 | logplain |
| -rw-r--r-- | Concat.hs | 320 | logplain |
| -rw-r--r-- | Delete.hs | 538 | logplain |
| -rw-r--r-- | ListThm.hs | 1268 | logplain |
| -rw-r--r-- | Object.hs | 2485 | logplain |
| -rw-r--r-- | Parse.hs | 1384 | logplain |
| -rw-r--r-- | ProofGraph.hs | 4136 | logplain |
| -rw-r--r-- | ProofGraphMain.hs | 240 | logplain |
| -rw-r--r-- | README | 1058 | logplain |
| -rw-r--r-- | Semantic.hs | 9521 | logplain |
| -rw-r--r-- | SemanticMain.hs | 227 | logplain |
| -rw-r--r-- | Stack.hs | 588 | logplain |
| -rw-r--r-- | Syntactic.hs | 1187 | logplain |
| -rw-r--r-- | Term.hs | 6491 | logplain |
| -rw-r--r-- | Test.hs | 8073 | logplain |
| -rw-r--r-- | Theorem.hs | 329 | logplain |
| -rw-r--r-- | TypeVar.hs | 1528 | logplain |
| -rw-r--r-- | WriteProof.hs | 9832 | logplain |
| -rw-r--r-- | WriteProofMain.hs | 276 | logplain |
| -rw-r--r-- | makefile | 297 | logplain |
 |
index : opentheory-transform | |
| Opentheory proof trace optimizer | Jed Barber |
| summaryrefslogtreecommitdiff |