| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Command.hs | 5152 | logplain |
| -rw-r--r-- | Cost.hs | 502 | logplain |
| -rw-r--r-- | Generator.hs | 1712 | logplain |
| -rw-r--r-- | GraphPart.hs | 4325 | logplain |
| -rw-r--r-- | Object.hs | 2505 | logplain |
| -rw-r--r-- | Parse.hs | 1360 | logplain |
| -rw-r--r-- | ProofGraph.hs | 5066 | logplain |
| -rw-r--r-- | Semantic.hs | 9624 | logplain |
| -rw-r--r-- | Stack.hs | 788 | logplain |
| -rw-r--r-- | Term.hs | 6143 | logplain |
| -rw-r--r-- | TermNet.hs | 5667 | logplain |
| -rw-r--r-- | Theorem.hs | 353 | logplain |
| -rw-r--r-- | TypeVar.hs | 2067 | logplain |
| -rw-r--r-- | Usage.hs | 2324 | logplain |
| -rw-r--r-- | WriteProof.hs | 8106 | logplain |
| -rw-r--r-- | alternate_multi_command.hs | 16261 | logplain |
 |
index : opentheory-transform | |
| Opentheory proof trace optimizer | Jed Barber |
| summaryrefslogtreecommitdiff |