]> matita.cs.unibo.it Git - helm.git/tree - helm/ocaml/cic_transformations/
...
[helm.git] / helm / ocaml / cic_transformations /
drwxr-xr-x   ..
-rw-r--r-- 18 .cvsignore
-rw-r--r-- 624 .depend
-rw-r--r-- 624 Makefile
-rw-r--r-- 2953 applyTransformation.ml
-rw-r--r-- 2878 applyTransformation.mli
-rw-r--r-- 18760 cic2Xml.ml
-rw-r--r-- 1567 cic2Xml.mli
-rw-r--r-- 30107 content2pres.ml
-rw-r--r-- 1751 content2pres.mli
-rw-r--r-- 15689 content_expressions.ml
-rw-r--r-- 2330 domMisc.ml
-rw-r--r-- 2102 domMisc.mli
-rw-r--r-- 3755 sequent2pres.ml
-rw-r--r-- 1766 sequent2pres.mli
-rw-r--r-- 4421 sequentPp.ml
-rw-r--r-- 1512 sequentPp.mli
-rw-r--r-- 5240 xml2Gdome.ml
-rw-r--r-- 1082 xml2Gdome.mli