summaryrefslogtreecommitdiff
path: root/contrib/xml
ModeNameSize
-rw-r--r--COPYRIGHT1336logplain
-rw-r--r--README11456logplain
-rw-r--r--acic.ml5008logplain
-rw-r--r--acic2Xml.ml414551logplain
-rw-r--r--cic.dtd7456logplain
-rw-r--r--cic2Xml.ml619logplain
-rw-r--r--cic2acic.ml39390logplain
-rw-r--r--doubleTypeInference.ml10847logplain
-rw-r--r--doubleTypeInference.mli1292logplain
-rw-r--r--dumptree.ml45008logplain
-rw-r--r--proof2aproof.ml6772logplain
-rw-r--r--proofTree2Xml.ml47940logplain
-rw-r--r--theoryobject.dtd2822logplain
-rw-r--r--unshare.ml2098logplain
-rw-r--r--unshare.mli1371logplain
-rw-r--r--xml.ml43179logplain
-rw-r--r--xml.mli2323logplain
-rw-r--r--xmlcommand.ml25954logplain
-rw-r--r--xmlcommand.mli2343logplain
-rw-r--r--xmlentries.ml41485logplain