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

drwxr-xr-x		..
-rw-r--r--	1253	atomicarity_4.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--	1224	lrsubeqa_3.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--	1241	normal_3.ma	blob \| history \| raw
-rw-r--r--	1284	normal_5.ma	blob \| history \| raw
-rw-r--r--	1247	notreducible_3.ma	blob \| history \| raw
-rw-r--r--	1290	notreducible_5.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--	1253	pred_4.ma	blob \| history \| raw
-rw-r--r--	1296	pred_6.ma	blob \| history \| raw
-rw-r--r--	1236	predsn_3.ma	blob \| history \| raw
-rw-r--r--	1279	predsn_5.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--	1244	reducible_3.ma	blob \| history \| raw
-rw-r--r--	1287	reducible_5.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--	1331	statictype_7.ma	blob \| history \| raw
-rw-r--r--	1307	statictypestar_6.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--	1260	unfold_4.ma	blob \| history \| raw