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

drwxr-xr-x		..
-rw-r--r--	223	Makefile	blob \| history \| raw
drwxr-xr-x	-	TPTP	tree \| history
-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--	5768	coercions_russell.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--	6771	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--	13652	depends	blob \| history \| raw
-rw-r--r--	3001	destruct.ma	blob \| history \| raw
-rw-r--r--	2901	elim.ma	blob \| history \| raw
-rw-r--r--	4234	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
-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--	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--	1338	overred.ma	blob \| history \| raw
-rw-r--r--	1532	paramodulation.ma	blob \| history \| raw
drwxr-xr-x	-	paramodulation	tree \| history
-rw-r--r--	2080	pullback.ma	blob \| history \| raw
-rw-r--r--	1685	record.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--	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