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

drwxr-xr-x		..
-rw-r--r--	2917	de.ma	blob \| history \| raw
-rw-r--r--	510	empty.ma	blob \| history \| raw
-rw-r--r--	787	interface.ma	blob \| history \| raw
-rw-r--r--	8414	list.ma	blob \| history \| raw
-rw-r--r--	9483	mTT.ma	blob \| history \| raw
-rw-r--r--	6915	model.ma	blob \| history \| raw
-rw-r--r--	2997	notations.ma	blob \| history \| raw
-rw-r--r--	3026	pisigma.ma	blob \| history \| raw
-rw-r--r--	3040	pisigma2.ma	blob \| history \| raw
-rw-r--r--	3403	plus.ma	blob \| history \| raw
-rw-r--r--	550	power.ma	blob \| history \| raw
-rw-r--r--	521	power_one.ma	blob \| history \| raw
-rw-r--r--	43	root	blob \| history \| raw
-rw-r--r--	587	singleton.ma	blob \| history \| raw