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

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

projects / helm.git / tree

212d1ea38664d5216f4efe0f299b8db7f6fc6818

-rw-r--r--	36000	arity.ma	blob \| raw
-rw-r--r--	13786	dec.ma	blob \| raw
-rw-r--r--	1396	defs.ma	blob \| raw
-rw-r--r--	10541	fwd.ma	blob \| raw
-rw-r--r--	8752	iso.ma	blob \| raw
-rw-r--r--	2252	lift1.ma	blob \| raw
-rw-r--r--	2924	pr3.ma	blob \| raw
-rw-r--r--	20660	props.ma	blob \| raw

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