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

drwxr-xr-x		..
-rw-r--r--	849	andrea.ma	blob \| history \| raw
-rw-r--r--	452	apply.ma	blob \| history \| raw
-rw-r--r--	446	comments.ma	blob \| history \| raw
-rw-r--r--	165	letrec.ma	blob \| history \| raw
-rw-r--r--	291	rewrite.ma	blob \| history \| raw
-rw-r--r--	197	simpl.ma	blob \| history \| raw
-rw-r--r--	269	test1.ma	blob \| history \| raw
-rw-r--r--	230	test2.ma	blob \| history \| raw
-rw-r--r--	346	test3.ma	blob \| history \| raw
-rw-r--r--	509	test4.ma	blob \| history \| raw
-rw-r--r--	95	test5.ma	blob \| history \| raw
-rw-r--r--	102	test6.ma	blob \| history \| raw
-rw-r--r--	81	test7.ma	blob \| history \| raw
-rw-r--r--	346	test_abort.ma	blob \| history \| raw
-rw-r--r--	862	test_instance.ma	blob \| history \| raw