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

drwxr-xr-x		..
-rw-r--r--	460	apply.ma	blob \| history \| raw
-rwxr-xr-x	474	auto.ma	blob \| history \| raw
-rw-r--r--	578	coercions.ma	blob \| history \| raw
-rw-r--r--	1392	comments.ma	blob \| history \| raw
-rw-r--r--	3000	fguidi.ma	blob \| history \| raw
-rw-r--r--	349	fix_betareduction.ma	blob \| history \| raw
drwxr-xr-x	-	interactive	tree \| history
-rw-r--r--	534	inversion.ma	blob \| history \| raw
-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--	453	record.ma	blob \| history \| raw
-rw-r--r--	335	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--	401	test4.ma	blob \| history \| raw