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

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--	1582	applys.ma	blob \| history \| raw
-rw-r--r--	1586	assumption.ma	blob \| history \| raw
drwxr-xr-x	-	bad_tests	tree \| history
-rw-r--r--	22813	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--	3719	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--	6970	decl.ma	blob \| history \| raw
-rw-r--r--	1375	decompose.ma	blob \| history \| raw
-rw-r--r--	1997	demodulation_coq.ma	blob \| history \| raw
-rw-r--r--	1417	demodulation_matita.ma	blob \| history \| raw
-rw-r--r--	2129	dependent_injection.ma	blob \| history \| raw
-rw-r--r--	2559	discriminate.ma	blob \| history \| raw
-rw-r--r--	2948	elim.ma	blob \| history \| raw
-rw-r--r--	4340	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--	27509	hard_refine.ma	blob \| history \| raw
-rw-r--r--	2131	injection.ma	blob \| history \| raw
drwxr-xr-x	-	interactive	tree \| history
-rw-r--r--	2126	inversion.ma	blob \| history \| raw
-rw-r--r--	1972	inversion2.ma	blob \| history \| raw
-rw-r--r--	1340	letrec.ma	blob \| history \| raw
-rw-r--r--	977	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--	1778	naiveparamod.ma	blob \| history \| raw
-rw-r--r--	1566	paramodulation.ma	blob \| history \| raw
drwxr-xr-x	-	paramodulation	tree \| history
-rw-r--r--	1723	record.ma	blob \| history \| raw
-rw-r--r--	1898	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--	1424	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