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

drwxr-xr-x		..
-rw-r--r--	50	.cvsignore	blob \| history \| raw
-rw-r--r--	1628	Makefile	blob \| history \| raw
-rw-r--r--	3780	algebra.xml	blob \| history \| raw
-rw-r--r--	1551	arith.xml	blob \| history \| raw
-rw-r--r--	1467	basic.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--	7676	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--	75	xslt_index.txt	blob \| history \| raw