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

drwxr-xr-x		..
-rw-r--r--	14	.cvsignore	blob \| history \| raw
-rw-r--r--	1579	Makefile	blob \| history \| raw
-rw-r--r--	502	apply.ma	blob \| history \| raw
-rwxr-xr-x	525	auto.ma	blob \| history \| raw
-rw-r--r--	88	baseuri.ma	blob \| history \| raw
-rw-r--r--	625	coercions.ma	blob \| history \| raw
-rw-r--r--	1438	comments.ma	blob \| history \| raw
-rw-r--r--	3063	fguidi.ma	blob \| history \| raw
-rw-r--r--	571	first.ma	blob \| history \| raw
-rw-r--r--	404	fix_betareduction.ma	blob \| history \| raw
-rw-r--r--	398	fold.ma	blob \| history \| raw
drwxr-xr-x	-	interactive	tree \| history
-rw-r--r--	1161	inversion.ma	blob \| history \| raw
-rw-r--r--	338	letrec.ma	blob \| history \| raw
-rw-r--r--	17687	match.ma	blob \| history \| raw
-rw-r--r--	706	match_inference.ma	blob \| history \| raw
-rw-r--r--	104	mysql_escaping.ma	blob \| history \| raw
-rw-r--r--	498	record.ma	blob \| history \| raw
-rw-r--r--	632	replace.ma	blob \| history \| raw
-rw-r--r--	620	rewrite.ma	blob \| history \| raw
-rw-r--r--	360	second.ma	blob \| history \| raw
-rw-r--r--	282	simpl.ma	blob \| history \| raw
-rw-r--r--	297	test2.ma	blob \| history \| raw
-rw-r--r--	375	test3.ma	blob \| history \| raw
-rw-r--r--	444	test4.ma	blob \| history \| raw
-rw-r--r--	366	third.ma	blob \| history \| raw