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

drwxr-xr-x		..
-rw-r--r--	14	.cvsignore	blob \| history \| raw
-rw-r--r--	1308	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
drwxr-xr-x	-	bad_tests	tree \| history
-rw-r--r--	1733	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--	4449	fguidi.ma	blob \| history \| raw
-rw-r--r--	1498	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--	1887	replace.ma	blob \| history \| raw
-rw-r--r--	2392	rewrite.ma	blob \| history \| raw
-rw-r--r--	1362	second.ma	blob \| history \| raw
-rw-r--r--	2141	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--	1745	unfold.ma	blob \| history \| raw