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

drwxr-xr-x		..
-rw-r--r--	59	.cvsignore	blob \| history \| raw
-rw-r--r--	1911	Makefile	blob \| history \| raw
-rw-r--r--	3780	algebra.xml	blob \| history \| raw
-rw-r--r--	1520	arith.xml	blob \| history \| raw
-rw-r--r--	1643	basic.xml	blob \| history \| raw
-rw-r--r--	1196	list.xml	blob \| history \| raw
-rw-r--r--	44970	meta_cic2mathml.xsl	blob \| history \| raw
-rw-r--r--	3147	modeset.xsl	blob \| history \| raw
-rw-r--r--	1863	operator.dtd	blob \| history \| raw
-rw-r--r--	9361	positive.xsl	blob \| history \| raw
-rw-r--r--	2815	reals.xml	blob \| history \| raw
-rw-r--r--	5991	set.xml	blob \| history \| raw
-rwxr-xr-x	250	subst.pl	blob \| history \| raw
-rw-r--r--	84	xslt_index.txt	blob \| history \| raw