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

drwxr-xr-x		..
-rw-r--r--	50	.cvsignore	blob \| history \| raw
-rw-r--r--	1626	Makefile	blob \| history \| raw
-rw-r--r--	3712	algebra.xml	blob \| history \| raw
-rw-r--r--	1593	arith.xml	blob \| history \| raw
-rw-r--r--	1557	basic.xml	blob \| history \| raw
-rw-r--r--	45954	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--	7788	positive.xsl	blob \| history \| raw
-rw-r--r--	2815	reals.xml	blob \| history \| raw
-rw-r--r--	5527	set.xml	blob \| history \| raw
-rwxr-xr-x	250	subst.pl	blob \| history \| raw
-rw-r--r--	75	xslt_index.txt	blob \| history \| raw