| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | COPYRIGHT | 592 | logplain |
| -rw-r--r-- | README | 7671 | logplain |
| -rw-r--r-- | acic.ml | 4032 | logplain |
| -rw-r--r-- | acic2Xml.ml4 | 14564 | logplain |
| -rw-r--r-- | cic2acic.ml | 29538 | logplain |
| -rw-r--r-- | doubleTypeInference.ml | 10107 | logplain |
| -rw-r--r-- | doubleTypeInference.mli | 198 | logplain |
| -rwxr-xr-x | fix_uri.pl | 4101 | logplain |
| -rwxr-xr-x | mkindex.sh | 76 | logplain |
| -rw-r--r-- | proof2aproof.ml | 5717 | logplain |
| -rw-r--r-- | proofTree2Xml.ml4 | 6829 | logplain |
| -rw-r--r-- | unshare.ml | 2451 | logplain |
| -rw-r--r-- | unshare.mli | 1724 | logplain |
| -rw-r--r-- | xml.ml4 | 3681 | logplain |
| -rw-r--r-- | xml.mli | 2742 | logplain |
| -rw-r--r-- | xmlcommand.ml | 31044 | logplain |
| -rw-r--r-- | xmlcommand.ml4 | 39060 | logplain |
| -rw-r--r-- | xmlcommand.mli | 3836 | logplain |
| -rw-r--r-- | xmlentries.ml4 | 2356 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |