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--	1303	absurd.ma	blob \| history \| raw
-rw-r--r--	505	apply.ma	blob \| history \| raw
-rw-r--r--	1560	assumption.ma	blob \| history \| raw
-rwxr-xr-x	549	auto.ma	blob \| history \| raw
-rw-r--r--	88	baseuri.ma	blob \| history \| raw
-rw-r--r--	1430	change.ma	blob \| history \| raw
-rw-r--r--	1331	clear.ma	blob \| history \| raw
-rw-r--r--	1384	clearbody.ma	blob \| history \| raw
-rw-r--r--	631	coercions.ma	blob \| history \| raw
-rw-r--r--	1444	comments.ma	blob \| history \| raw
-rw-r--r--	1198	constructor.ma	blob \| history \| raw
-rw-r--r--	1377	contradiction.ma	blob \| history \| raw
-rw-r--r--	1221	cut.ma	blob \| history \| raw
-rw-r--r--	1349	decompose.ma	blob \| history \| raw
-rw-r--r--	1301	discriminate.ma	blob \| history \| raw
-rw-r--r--	2171	elim.ma	blob \| history \| raw
-rw-r--r--	3114	fguidi.ma	blob \| history \| raw
-rw-r--r--	523	first.ma	blob \| history \| raw
-rw-r--r--	404	fix_betareduction.ma	blob \| history \| raw
-rw-r--r--	418	fold.ma	blob \| history \| raw
-rw-r--r--	1806	generalize.ma	blob \| history \| raw
drwxr-xr-x	-	interactive	tree \| history
-rw-r--r--	1167	inversion.ma	blob \| history \| raw
-rw-r--r--	338	letrec.ma	blob \| history \| raw
-rw-r--r--	908	match_inference.ma	blob \| history \| raw
-rw-r--r--	104	mysql_escaping.ma	blob \| history \| raw
-rw-r--r--	1541	paramodulation.ma	blob \| history \| raw
-rw-r--r--	498	record.ma	blob \| history \| raw
-rw-r--r--	859	replace.ma	blob \| history \| raw
-rw-r--r--	986	rewrite.ma	blob \| history \| raw
-rw-r--r--	360	second.ma	blob \| history \| raw
-rw-r--r--	288	simpl.ma	blob \| history \| raw
-rw-r--r--	309	test2.ma	blob \| history \| raw
-rw-r--r--	387	test3.ma	blob \| history \| raw
-rw-r--r--	450	test4.ma	blob \| history \| raw
-rw-r--r--	366	third.ma	blob \| history \| raw