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

drwxr-xr-x		..
-rw-r--r--	1228	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--	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--	1196	lrsubeq_2.ma	blob \| history \| raw
-rw-r--r--	1219	lrsubeq_3.ma	blob \| history \| raw
-rw-r--r--	1201	lrsubeqa_2.ma	blob \| history \| raw
-rw-r--r--	1246	lrsubeqv_4.ma	blob \| history \| raw
-rw-r--r--	1259	nativevalid_4.ma	blob \| history \| raw
-rw-r--r--	1213	normal_2.ma	blob \| history \| raw
-rw-r--r--	1263	normal_4.ma	blob \| history \| raw
-rw-r--r--	1219	notreducible_2.ma	blob \| history \| raw
-rw-r--r--	1269	notreducible_4.ma	blob \| history \| raw
-rw-r--r--	1226	pconv_3.ma	blob \| history \| raw
-rw-r--r--	1231	pconvstar_3.ma	blob \| history \| raw
-rw-r--r--	1241	peval_3.ma	blob \| history \| raw
-rw-r--r--	1291	peval_5.ma	blob \| history \| raw
-rw-r--r--	1225	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--	1231	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--	1216	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--	1309	supterm_6.ma	blob \| history \| raw
-rw-r--r--	1315	suptermopt_6.ma	blob \| history \| raw
-rw-r--r--	1321	suptermoptalt_6.ma	blob \| history \| raw
-rw-r--r--	1303	suptermplus_6.ma	blob \| history \| raw
-rw-r--r--	1303	suptermstar_6.ma	blob \| history \| raw
-rw-r--r--	1224	unfold_3.ma	blob \| history \| raw