| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | INSTRUCTIONS | 1273 | logplain |
| -rw-r--r-- | LIMITATIONS | 949 | logplain |
| -rw-r--r-- | biolayout.ml | 1159 | logplain |
| -rw-r--r-- | dltree.ml | 10119 | logplain |
| -rw-r--r-- | dltree.mli | 1030 | logplain |
| -rw-r--r-- | examples1.ml | 1171 | logplain |
| -rw-r--r-- | examples1_output.txt | 1247 | logplain |
| -rw-r--r-- | examples2.ml | 1471 | logplain |
| -rw-r--r-- | examples3.ml | 7396 | logplain |
| -rw-r--r-- | examples3_output.txt | 1988 | logplain |
| -rw-r--r-- | examples4.ml | 421 | logplain |
| -rw-r--r-- | examples5.ml | 3442 | logplain |
| -rw-r--r-- | graveyard.ml | 540 | logplain |
| -rw-r--r-- | hiproofs.ml | 8788 | logplain |
| -rw-r--r-- | lib.ml | 1233 | logplain |
| -rw-r--r-- | main.ml | 577 | logplain |
| -rw-r--r-- | mlexport.ml | 8052 | logplain |
| -rw-r--r-- | promote.ml | 13298 | logplain |
| -rw-r--r-- | prooftree.ml | 7037 | logplain |
| -rw-r--r-- | tacticrec.ml | 12681 | logplain |
| -rw-r--r-- | wrappers.ml | 12874 | logplain |
| -rw-r--r-- | xtactics.ml | 17709 | logplain |
| -rw-r--r-- | xthm.ml | 1326 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |