| 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-- | ex.dot | 180 | logplain |
| -rw-r--r-- | ex3b.dot | 791 | logplain |
| -rw-r--r-- | examples1.ml | 1196 | logplain |
| -rw-r--r-- | examples1_output.txt | 1247 | logplain |
| -rw-r--r-- | examples2.ml | 1471 | logplain |
| -rw-r--r-- | examples3.ml | 9426 | logplain |
| -rw-r--r-- | examples3_LEMMA1.dot | 339 | 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-- | gvexport.ml | 1924 | logplain |
| -rw-r--r-- | hiproofs.ml | 12555 | logplain |
| -rw-r--r-- | lib.ml | 1375 | logplain |
| -rw-r--r-- | main.ml | 658 | logplain |
| -rw-r--r-- | mlexport.ml | 6231 | logplain |
| -rw-r--r-- | printutils.ml | 2153 | 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 |