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

drwxr-xr-x		..
-rw-r--r--	223	Makefile	blob \| history \| raw
drwxr-xr-x	-	TPTP	tree \| history
-rw-r--r--	2322	Ztest.ma	blob \| history \| raw
-rw-r--r--	1278	absurd.ma	blob \| history \| raw
-rw-r--r--	2098	apply.ma	blob \| history \| raw
-rw-r--r--	1174	apply2.ma	blob \| history \| raw
-rw-r--r--	1542	applys.ma	blob \| history \| raw
-rw-r--r--	1538	assumption.ma	blob \| history \| raw
-rw-r--r--	1282	bad_induction.ma	blob \| history \| raw
drwxr-xr-x	-	bad_tests	tree \| history
-rw-r--r--	22911	bool.ma	blob \| history \| raw
-rw-r--r--	1695	change.ma	blob \| history \| raw
-rw-r--r--	1307	clear.ma	blob \| history \| raw
-rw-r--r--	1362	clearbody.ma	blob \| history \| raw
-rw-r--r--	4295	coercions.ma	blob \| history \| raw
-rw-r--r--	1725	coercions_contravariant.ma	blob \| history \| raw
-rw-r--r--	1488	coercions_dependent.ma	blob \| history \| raw
-rw-r--r--	1811	coercions_nonuniform.ma	blob \| history \| raw
-rw-r--r--	1587	coercions_open.ma	blob \| history \| raw
-rw-r--r--	4046	coercions_propagation.ma	blob \| history \| raw
-rw-r--r--	5379	coercions_russell.ma	blob \| history \| raw
-rw-r--r--	1380	color.ma	blob \| history \| raw
-rw-r--r--	1389	comments.ma	blob \| history \| raw
-rw-r--r--	1718	compose.ma	blob \| history \| raw
-rw-r--r--	1171	constructor.ma	blob \| history \| raw
-rw-r--r--	2246	continuationals.ma	blob \| history \| raw
-rw-r--r--	1348	contradiction.ma	blob \| history \| raw
-rw-r--r--	1202	cut.ma	blob \| history \| raw
-rw-r--r--	6606	decl.ma	blob \| history \| raw
-rw-r--r--	1344	decompose.ma	blob \| history \| raw
-rw-r--r--	1952	demodulation_coq.ma	blob \| history \| raw
-rw-r--r--	1400	demodulation_matita.ma	blob \| history \| raw
-rw-r--r--	1795	dependent_guarded_bove_capretta.ma	blob \| history \| raw
-rw-r--r--	2069	dependent_injection.ma	blob \| history \| raw
-rw-r--r--	1091	dependent_type_inference.ma	blob \| history \| raw
-rw-r--r--	14639	depends	blob \| history \| raw
-rw-r--r--	3001	destruct.ma	blob \| history \| raw
-rw-r--r--	11949	destruct_bb.ma	blob \| history \| raw
-rw-r--r--	1317	diabolic_fix.ma	blob \| history \| raw
-rw-r--r--	2901	elim.ma	blob \| history \| raw
-rw-r--r--	1242	elim_pattern.ma	blob \| history \| raw
-rw-r--r--	2053	esempio_oliboni.ma	blob \| history \| raw
-rw-r--r--	2656	fguidi.ma	blob \| history \| raw
-rw-r--r--	1457	first.ma	blob \| history \| raw
-rw-r--r--	1371	fix_betareduction.ma	blob \| history \| raw
-rw-r--r--	1289	fix_che_non_passa_ma_dovrebbe.ma	blob \| history \| raw
-rw-r--r--	1399	fold.ma	blob \| history \| raw
-rwxr-xr-x	1831	formal_topology.ma	blob \| history \| raw
-rw-r--r--	1790	generalize.ma	blob \| history \| raw
-rw-r--r--	27468	hard_refine.ma	blob \| history \| raw
-rw-r--r--	2084	injection.ma	blob \| history \| raw
drwxr-xr-x	-	interactive	tree \| history
-rw-r--r--	2088	inversion.ma	blob \| history \| raw
-rw-r--r--	1919	inversion2.ma	blob \| history \| raw
-rw-r--r--	1298	letrec.ma	blob \| history \| raw
-rw-r--r--	1827	letrecand.ma	blob \| history \| raw
-rw-r--r--	2824	luo.ma	blob \| history \| raw
-rw-r--r--	1859	match_inference.ma	blob \| history \| raw
-rw-r--r--	4174	metasenv_ordering.ma	blob \| history \| raw
-rw-r--r--	1961	multiple_inheritance.ma	blob \| history \| raw
-rw-r--r--	1054	mysql_escaping.ma	blob \| history \| raw
-rw-r--r--	1734	naiveparamod.ma	blob \| history \| raw
-rw-r--r--	2408	ng_auto.ma	blob \| history \| raw
-rw-r--r--	1436	ng_bove.ma	blob \| history \| raw
-rw-r--r--	2424	ng_coercion_and_hints.ma	blob \| history \| raw
-rw-r--r--	2257	ng_coercions.ma	blob \| history \| raw
-rw-r--r--	2021	ng_commands.ma	blob \| history \| raw
-rw-r--r--	1639	ng_copy.ma	blob \| history \| raw
-rw-r--r--	1265	ng_copy2.ma	blob \| history \| raw
-rw-r--r--	3085	ng_elim.ma	blob \| history \| raw
-rw-r--r--	1329	ng_include.ma	blob \| history \| raw
-rw-r--r--	1118	ng_includeB.ma	blob \| history \| raw
-rw-r--r--	6631	ng_inversion.ma	blob \| history \| raw
-rw-r--r--	1462	ng_lexiconn.ma	blob \| history \| raw
-rw-r--r--	1413	ng_pts.ma	blob \| history \| raw
-rw-r--r--	3556	ng_tactics.ma	blob \| history \| raw
-rw-r--r--	1711	ng_uris_and_notation.ma	blob \| history \| raw
-rw-r--r--	1338	overred.ma	blob \| history \| raw
-rw-r--r--	1532	paramodulation.ma	blob \| history \| raw
drwxr-xr-x	-	paramodulation	tree \| history
-rw-r--r--	1483	paratest.ma	blob \| history \| raw
-rw-r--r--	2589	pullback.ma	blob \| history \| raw
-rw-r--r--	1685	record.ma	blob \| history \| raw
-rwxr-xr-x	359	reduction_new.ma	blob \| history \| raw
-rw-r--r--	2663	reduction_new_preamble.ma	blob \| history \| raw
-rwxr-xr-x	357	reduction_old.ma	blob \| history \| raw
-rw-r--r--	2633	reduction_old_preamble.ma	blob \| history \| raw
-rw-r--r--	1861	replace.ma	blob \| history \| raw
-rw-r--r--	2588	rewrite.ma	blob \| history \| raw
-rw-r--r--	50	root	blob \| history \| raw
-rw-r--r--	1320	second.ma	blob \| history \| raw
-rw-r--r--	1945	simpl.ma	blob \| history \| raw
-rw-r--r--	2027	subsumption.ma	blob \| history \| raw
-rw-r--r--	1947	tacticals.ma	blob \| history \| raw
-rw-r--r--	1288	test2.ma	blob \| history \| raw
-rw-r--r--	1385	test3.ma	blob \| history \| raw
-rw-r--r--	1429	test4.ma	blob \| history \| raw
-rw-r--r--	1327	third.ma	blob \| history \| raw
-rw-r--r--	1590	tinycals.ma	blob \| history \| raw
-rw-r--r--	1710	unfold.ma	blob \| history \| raw
-rw-r--r--	4191	unifhint.ma	blob \| history \| raw
-rw-r--r--	2682	unifhint_simple.ma	blob \| history \| raw