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--	1310	dpredstar_6.ma	blob \| history \| raw
-rw-r--r--	1277	ineint_5.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--	1242	lrsubeq_4.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--	1268	peval_4.ma	blob \| history \| raw
-rw-r--r--	1312	peval_6.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--	1241	predsnstar_3.ma	blob \| history \| raw
-rw-r--r--	1285	predsnstar_5.ma	blob \| history \| raw
-rw-r--r--	1249	predsnstaralt_3.ma	blob \| history \| raw
-rw-r--r--	1292	predsnstaralt_5.ma	blob \| history \| raw
-rw-r--r--	1253	predstar_4.ma	blob \| history \| raw
-rw-r--r--	1302	predstar_6.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--	1273	sn_5.ma	blob \| history \| raw
-rw-r--r--	1280	snalt_5.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