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

drwxr-xr-x		..
-rw-r--r--	454	apply.ma	blob \| history \| raw
-rw-r--r--	578	coercions.ma	blob \| history \| raw
-rw-r--r--	1501	comments.ma	blob \| history \| raw
-rw-r--r--	349	fix_betareduction.ma	blob \| history \| raw
drwxr-xr-x	-	interactive	tree \| history
-rw-r--r--	294	letrec.ma	blob \| history \| raw
-rw-r--r--	8818	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--	416	record.ma	blob \| history \| raw
-rw-r--r--	303	rewrite.ma	blob \| history \| raw
-rw-r--r--	238	simpl.ma	blob \| history \| raw
-rw-r--r--	269	test1.ma	blob \| history \| raw
-rw-r--r--	253	test2.ma	blob \| history \| raw
-rw-r--r--	332	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