matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/basic

drwxr-xr-x		..
-rw-r--r--	1219	atomicarity_3.ma	blob \| history \| raw
-rw-r--r--	1302	btpred_6.ma	blob \| history \| raw
-rw-r--r--	1308	btpredproper_6.ma	blob \| history \| raw
-rw-r--r--	1306	btpredstar_6.ma	blob \| history \| raw
-rw-r--r--	1310	btpredstarproper_6.ma	blob \| history \| raw
-rw-r--r--	1219	crsubeq_3.ma	blob \| history \| raw
-rw-r--r--	1201	crsubeqa_2.ma	blob \| history \| raw
-rw-r--r--	1201	crsubeqt_2.ma	blob \| history \| raw
-rw-r--r--	1246	crsubeqv_4.ma	blob \| history \| raw
-rw-r--r--	1289	dpredstar_5.ma	blob \| history \| raw
-rw-r--r--	1257	ineint_4.ma	blob \| history \| raw
-rw-r--r--	1192	iso_2.ma	blob \| history \| raw
-rw-r--r--	1259	nativevalid_4.ma	blob \| history \| raw
-rw-r--r--	1204	normal_2.ma	blob \| history \| raw
-rw-r--r--	1263	normal_4.ma	blob \| history \| raw
-rw-r--r--	1210	notreducible_2.ma	blob \| history \| raw
-rw-r--r--	1269	notreducible_4.ma	blob \| history \| raw
-rw-r--r--	1217	pconv_3.ma	blob \| history \| raw
-rw-r--r--	1222	pconvstar_3.ma	blob \| history \| raw
-rw-r--r--	1232	peval_3.ma	blob \| history \| raw
-rw-r--r--	1291	peval_5.ma	blob \| history \| raw
-rw-r--r--	1216	pred_3.ma	blob \| history \| raw
-rw-r--r--	1275	pred_5.ma	blob \| history \| raw
-rw-r--r--	1199	predsn_2.ma	blob \| history \| raw
-rw-r--r--	1258	predsn_4.ma	blob \| history \| raw
-rw-r--r--	1204	predsnstar_2.ma	blob \| history \| raw
-rw-r--r--	1264	predsnstar_4.ma	blob \| history \| raw
-rw-r--r--	1212	predsnstaralt_2.ma	blob \| history \| raw
-rw-r--r--	1271	predsnstaralt_4.ma	blob \| history \| raw
-rw-r--r--	1222	predstar_3.ma	blob \| history \| raw
-rw-r--r--	1281	predstar_5.ma	blob \| history \| raw
-rw-r--r--	1231	rat_3.ma	blob \| history \| raw
-rw-r--r--	1229	rdrop_3.ma	blob \| history \| raw
-rw-r--r--	1250	rdrop_4.ma	blob \| history \| raw
-rw-r--r--	1235	rdropstar_3.ma	blob \| history \| raw
-rw-r--r--	1207	reducible_2.ma	blob \| history \| raw
-rw-r--r--	1266	reducible_4.ma	blob \| history \| raw
-rw-r--r--	1250	rlift_4.ma	blob \| history \| raw
-rw-r--r--	1235	rliftstar_3.ma	blob \| history \| raw
-rw-r--r--	1218	rminus_3.ma	blob \| history \| raw
-rw-r--r--	1189	simple_1.ma	blob \| history \| raw
-rw-r--r--	1252	sn_4.ma	blob \| history \| raw
-rw-r--r--	1259	snalt_4.ma	blob \| history \| raw
-rw-r--r--	1311	statictype_6.ma	blob \| history \| raw
-rw-r--r--	1287	statictypestar_5.ma	blob \| history \| raw
-rw-r--r--	1265	supterm_4.ma	blob \| history \| raw
-rw-r--r--	1271	suptermopt_4.ma	blob \| history \| raw
-rw-r--r--	1277	suptermoptalt_4.ma	blob \| history \| raw
-rw-r--r--	1271	suptermplus_4.ma	blob \| history \| raw
-rw-r--r--	1271	suptermstar_4.ma	blob \| history \| raw
-rw-r--r--	1224	unfold_3.ma	blob \| history \| raw