| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | COPYRIGHT | 1336 | logplain |
| -rw-r--r-- | README | 11456 | logplain |
| -rw-r--r-- | acic.ml | 5004 | logplain |
| -rw-r--r-- | acic2Xml.ml4 | 14548 | logplain |
| -rw-r--r-- | cic.dtd | 7456 | logplain |
| -rw-r--r-- | cic2Xml.ml | 618 | logplain |
| -rw-r--r-- | cic2acic.ml | 37468 | logplain |
| -rw-r--r-- | doubleTypeInference.ml | 10720 | logplain |
| -rw-r--r-- | doubleTypeInference.mli | 1291 | logplain |
| -rw-r--r-- | dumptree.ml4 | 4090 | logplain |
| -rw-r--r-- | proof2aproof.ml | 3022 | logplain |
| -rw-r--r-- | proofTree2Xml.ml4 | 7119 | logplain |
| -rw-r--r-- | theoryobject.dtd | 2822 | logplain |
| -rw-r--r-- | unshare.ml | 2098 | logplain |
| -rw-r--r-- | unshare.mli | 1371 | logplain |
| -rw-r--r-- | xml.ml4 | 3181 | logplain |
| -rw-r--r-- | xml.mli | 2264 | logplain |
| -rw-r--r-- | xml_plugin.mllib | 136 | logplain |
| -rw-r--r-- | xmlcommand.ml | 20653 | logplain |
| -rw-r--r-- | xmlcommand.mli | 2277 | logplain |
| -rw-r--r-- | xmlentries.ml4 | 1346 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |