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

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

projects / helm.git / tree

52a09fa53de2bb828cc796240d2eac0fc0ad977f

-rw-r--r--	1253	aprem.mma	blob \| raw
-rw-r--r--	1210	cimp.mma	blob \| raw
-rw-r--r--	1157	defs.mma	blob \| raw
-rw-r--r--	1247	fwd.mma	blob \| raw
-rw-r--r--	1211	lift1.mma	blob \| raw
-rw-r--r--	1365	pr3.mma	blob \| raw
-rw-r--r--	1170	props.mma	blob \| raw
-rw-r--r--	1375	subst0.mma	blob \| raw

Unnamed repository; edit this file 'description' to name the repository.