matita.cs.unibo.it Git - helm.git/tree - helm/ocaml/cic

drwxr-xr-x		..
-rw-r--r--	18	.cvsignore	blob \| history \| raw
-rw-r--r--	624	.depend	blob \| history \| raw
-rw-r--r--	624	Makefile	blob \| history \| raw
-rw-r--r--	2953	applyTransformation.ml	blob \| history \| raw
-rw-r--r--	2878	applyTransformation.mli	blob \| history \| raw
-rw-r--r--	18760	cic2Xml.ml	blob \| history \| raw
-rw-r--r--	1567	cic2Xml.mli	blob \| history \| raw
-rw-r--r--	30107	content2pres.ml	blob \| history \| raw
-rw-r--r--	1751	content2pres.mli	blob \| history \| raw
-rw-r--r--	15689	content_expressions.ml	blob \| history \| raw
-rw-r--r--	2330	domMisc.ml	blob \| history \| raw
-rw-r--r--	2102	domMisc.mli	blob \| history \| raw
-rw-r--r--	3755	sequent2pres.ml	blob \| history \| raw
-rw-r--r--	1766	sequent2pres.mli	blob \| history \| raw
-rw-r--r--	4421	sequentPp.ml	blob \| history \| raw
-rw-r--r--	1512	sequentPp.mli	blob \| history \| raw
-rw-r--r--	5240	xml2Gdome.ml	blob \| history \| raw
-rw-r--r--	1082	xml2Gdome.mli	blob \| history \| raw