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

drwxr-xr-x		..
-rw-r--r--	496	apply.ma	blob \| history \| raw
-rwxr-xr-x	520	auto.ma	blob \| history \| raw
-rw-r--r--	72	baseuri.ma	blob \| history \| raw
-rw-r--r--	615	coercions.ma	blob \| history \| raw
-rw-r--r--	1429	comments.ma	blob \| history \| raw
-rw-r--r--	3381	fguidi.ma	blob \| history \| raw
-rw-r--r--	386	fix_betareduction.ma	blob \| history \| raw
drwxr-xr-x	-	interactive	tree \| history
-rw-r--r--	572	inversion.ma	blob \| history \| raw
-rw-r--r--	331	letrec.ma	blob \| history \| raw
-rw-r--r--	17681	match.ma	blob \| history \| raw
-rw-r--r--	690	match_inference.ma	blob \| history \| raw
-rw-r--r--	89	mysql_escaping.ma	blob \| history \| raw
-rw-r--r--	491	record.ma	blob \| history \| raw
-rw-r--r--	624	rewrite.ma	blob \| history \| raw
-rw-r--r--	276	simpl.ma	blob \| history \| raw
-rw-r--r--	291	test2.ma	blob \| history \| raw
-rw-r--r--	369	test3.ma	blob \| history \| raw
-rw-r--r--	438	test4.ma	blob \| history \| raw