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

drwxr-xr-x		..
drwxr-xr-x	-	TPTP	tree \| history
-rw-r--r--	1327	absurd.ma	blob \| history \| raw
-rw-r--r--	2146	apply.ma	blob \| history \| raw
-rw-r--r--	1214	apply2.ma	blob \| history \| raw
-rw-r--r--	1368	applys.ma	blob \| history \| raw
-rw-r--r--	1586	assumption.ma	blob \| history \| raw
drwxr-xr-x	-	bad_tests	tree \| history
-rw-r--r--	22803	bool.ma	blob \| history \| raw
-rw-r--r--	1740	change.ma	blob \| history \| raw
-rw-r--r--	1354	clear.ma	blob \| history \| raw
-rw-r--r--	1410	clearbody.ma	blob \| history \| raw
-rw-r--r--	3515	coercions.ma	blob \| history \| raw
-rw-r--r--	1440	comments.ma	blob \| history \| raw
-rw-r--r--	1224	constructor.ma	blob \| history \| raw
-rw-r--r--	2303	continuationals.ma	blob \| history \| raw
-rw-r--r--	1403	contradiction.ma	blob \| history \| raw
-rw-r--r--	1247	cut.ma	blob \| history \| raw
-rw-r--r--	6974	decl.ma	blob \| history \| raw
-rw-r--r--	1375	decompose.ma	blob \| history \| raw
-rw-r--r--	1915	demodulation_coq.ma	blob \| history \| raw
-rw-r--r--	1417	demodulation_matita.ma	blob \| history \| raw
-rw-r--r--	1704	discriminate.ma	blob \| history \| raw
-rw-r--r--	2944	elim.ma	blob \| history \| raw
-rw-r--r--	4456	fguidi.ma	blob \| history \| raw
-rw-r--r--	1498	first.ma	blob \| history \| raw
-rw-r--r--	1431	fix_betareduction.ma	blob \| history \| raw
-rw-r--r--	1445	fold.ma	blob \| history \| raw
-rw-r--r--	1832	generalize.ma	blob \| history \| raw
-rw-r--r--	27477	hard_refine.ma	blob \| history \| raw
-rw-r--r--	2857	injection.ma	blob \| history \| raw
drwxr-xr-x	-	interactive	tree \| history
-rw-r--r--	2118	inversion.ma	blob \| history \| raw
-rw-r--r--	1976	inversion2.ma	blob \| history \| raw
-rw-r--r--	1340	letrec.ma	blob \| history \| raw
-rw-r--r--	872	makefile	blob \| history \| raw
-rw-r--r--	1910	match_inference.ma	blob \| history \| raw
-rw-r--r--	4233	metasenv_ordering.ma	blob \| history \| raw
-rw-r--r--	1104	mysql_escaping.ma	blob \| history \| raw
-rw-r--r--	1774	naiveparamod.ma	blob \| history \| raw
-rw-r--r--	1566	paramodulation.ma	blob \| history \| raw
drwxr-xr-x	-	paramodulation	tree \| history
-rw-r--r--	1500	record.ma	blob \| history \| raw
-rw-r--r--	1894	replace.ma	blob \| history \| raw
-rw-r--r--	2399	rewrite.ma	blob \| history \| raw
-rw-r--r--	1362	second.ma	blob \| history \| raw
-rw-r--r--	1993	simpl.ma	blob \| history \| raw
-rw-r--r--	1336	test2.ma	blob \| history \| raw
-rw-r--r--	1420	test3.ma	blob \| history \| raw
-rw-r--r--	1477	test4.ma	blob \| history \| raw
-rw-r--r--	1368	third.ma	blob \| history \| raw
-rw-r--r--	1632	tinycals.ma	blob \| history \| raw
-rw-r--r--	1752	unfold.ma	blob \| history \| raw