matita.cs.unibo.it Git - helm.git/tree - helm/xmltheory/XmlTheory/

drwxr-xr-x		..
-rw-r--r--	17	.cvsignore	blob \| history \| raw
-rw-r--r--	345	.depend	blob \| history \| raw
-rw-r--r--	133	COME_COMPILARE	blob \| history \| raw
-rw-r--r--	88	Make	blob \| history \| raw
-rw-r--r--	3969	Makefile	blob \| history \| raw
-rw-r--r--	2599	README	blob \| history \| raw
-rw-r--r--	491	XmlTheory.v	blob \| history \| raw
-rw-r--r--	1354	iXml.ml	blob \| history \| raw
-rw-r--r--	253	iXml.mli	blob \| history \| raw
-rw-r--r--	10506	xmltheoryentries.ml	blob \| history \| raw