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

-rw-r--r--	452	apply.ma	blob \| raw
-rw-r--r--	606	coercions.ma	blob \| raw
-rw-r--r--	1536	comments.ma	blob \| raw
-rw-r--r--	330	fix_betareduction.ma	blob \| raw
-rw-r--r--	294	letrec.ma	blob \| raw
-rw-r--r--	8864	match.ma	blob \| raw
-rw-r--r--	653	match_inference.ma	blob \| raw
-rw-r--r--	52	mysql_escaping.ma	blob \| raw
-rw-r--r--	291	rewrite.ma	blob \| raw
-rw-r--r--	197	simpl.ma	blob \| raw
-rw-r--r--	269	test1.ma	blob \| raw
-rw-r--r--	230	test2.ma	blob \| raw
-rw-r--r--	346	test3.ma	blob \| raw
-rw-r--r--	509	test4.ma	blob \| raw
-rw-r--r--	95	test5.ma	blob \| raw
-rw-r--r--	102	test6.ma	blob \| raw
-rw-r--r--	81	test7.ma	blob \| raw
-rw-r--r--	346	test_abort.ma	blob \| raw
-rw-r--r--	918	test_instance.ma	blob \| raw