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

drwxr-xr-x		..
-rw-r--r--	14	.cvsignore	blob \| history \| raw
-rw-r--r--	1029	Makefile	blob \| history \| raw
-rw-r--r--	1320	absurd.ma	blob \| history \| raw
-rw-r--r--	1525	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--	1449	change.ma	blob \| history \| raw
-rw-r--r--	1348	clear.ma	blob \| history \| raw
-rw-r--r--	1403	clearbody.ma	blob \| history \| raw
-rw-r--r--	1651	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--	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--	1320	discriminate.ma	blob \| history \| raw
-rw-r--r--	2190	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--	2187	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--	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--	1879	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--	1308	simpl.ma	blob \| history \| raw
-rw-r--r--	1329	test2.ma	blob \| history \| raw
-rw-r--r--	1407	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--	1395	unfold.ma	blob \| history \| raw