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

drwxr-xr-x		..
-rw-r--r--	513	Makefile	blob \| history \| raw
drwxr-xr-x	-	etc	tree \| history
drwxr-xr-x	-	notation	tree \| history
-rw-r--r--	1471	preamble.ma	blob \| history \| raw
-rw-r--r--	27	root	blob \| history \| raw
-rw-r--r--	1388	u0_apps.ma	blob \| history \| raw
-rw-r--r--	3205	u0_class.ma	blob \| history \| raw
-rw-r--r--	1366	u0_data.ma	blob \| history \| raw
-rw-r--r--	1866	u0_exp.ma	blob \| history \| raw
-rw-r--r--	4286	u0_preds.ma	blob \| history \| raw