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

drwxr-xr-x		..
-rw-r--r--	14	.cvsignore	blob \| history \| raw
-rw-r--r--	1302	Makefile	blob \| history \| raw
-rw-r--r--	1320	absurd.ma	blob \| history \| raw
-rw-r--r--	2138	apply.ma	blob \| history \| raw
-rw-r--r--	1579	assumption.ma	blob \| history \| raw
-rwxr-xr-x	1569	auto.ma	blob \| history \| raw
-rw-r--r--	1090	baseuri.ma	blob \| history \| raw
-rw-r--r--	1729	change.ma	blob \| history \| raw
-rw-r--r--	1347	clear.ma	blob \| history \| raw
-rw-r--r--	1403	clearbody.ma	blob \| history \| raw
-rw-r--r--	1589	coercions.ma	blob \| history \| raw
-rw-r--r--	1433	comments.ma	blob \| history \| raw
-rw-r--r--	1217	constructor.ma	blob \| history \| raw
-rw-r--r--	2296	continuationals.ma	blob \| history \| raw
-rw-r--r--	1396	contradiction.ma	blob \| history \| raw
-rw-r--r--	1240	cut.ma	blob \| history \| raw
-rw-r--r--	1368	decompose.ma	blob \| history \| raw
-rw-r--r--	1697	discriminate.ma	blob \| history \| raw
-rw-r--r--	2937	elim.ma	blob \| history \| raw
-rw-r--r--	4443	fguidi.ma	blob \| history \| raw
-rw-r--r--	1525	first.ma	blob \| history \| raw
-rw-r--r--	1406	fix_betareduction.ma	blob \| history \| raw
-rw-r--r--	1438	fold.ma	blob \| history \| raw
-rw-r--r--	1825	generalize.ma	blob \| history \| raw
drwxr-xr-x	-	interactive	tree \| history
-rw-r--r--	1982	inversion.ma	blob \| history \| raw
-rw-r--r--	1340	letrec.ma	blob \| history \| raw
-rw-r--r--	1910	match_inference.ma	blob \| history \| raw
-rw-r--r--	4226	metasenv_ordering.ma	blob \| history \| raw
-rw-r--r--	1104	mysql_escaping.ma	blob \| history \| raw
-rw-r--r--	1559	paramodulation.ma	blob \| history \| raw
-rw-r--r--	1500	record.ma	blob \| history \| raw
-rw-r--r--	1885	replace.ma	blob \| history \| raw
-rw-r--r--	2006	rewrite.ma	blob \| history \| raw
-rw-r--r--	1362	second.ma	blob \| history \| raw
-rw-r--r--	2123	simpl.ma	blob \| history \| raw
-rw-r--r--	1329	test2.ma	blob \| history \| raw
-rw-r--r--	1413	test3.ma	blob \| history \| raw
-rw-r--r--	1470	test4.ma	blob \| history \| raw
-rw-r--r--	1368	third.ma	blob \| history \| raw
-rw-r--r--	1611	unfold.ma	blob \| history \| raw