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

drwxr-xr-x		..
-rw-r--r--	10429	dec.ma	blob \| history \| raw
-rw-r--r--	1710	defs.ma	blob \| history \| raw
-rw-r--r--	53102	fsubst0.ma	blob \| history \| raw
-rw-r--r--	19295	fwd.ma	blob \| history \| raw
-rw-r--r--	6248	left.ma	blob \| history \| raw
-rw-r--r--	1706	pc1.ma	blob \| history \| raw
-rw-r--r--	27043	props.ma	blob \| history \| raw
-rw-r--r--	2908	subst1.ma	blob \| history \| raw
-rw-r--r--	6640	wcpr0.ma	blob \| history \| raw