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--	636	coercions.ma	blob \| history \| raw
-rw-r--r--	1536	comments.ma	blob \| history \| raw
-rw-r--r--	330	fix_betareduction.ma	blob \| history \| raw
-rw-r--r--	300	letrec.ma	blob \| history \| raw
-rw-r--r--	7924	match.ma	blob \| history \| raw
-rw-r--r--	653	match_inference.ma	blob \| history \| raw
-rw-r--r--	52	mysql_escaping.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--	918	test_instance.ma	blob \| history \| raw