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--	1351	btpred_8.ma	blob \| history \| raw
-rw-r--r--	1357	btpredproper_8.ma	blob \| history \| raw
-rw-r--r--	1368	btpredsnstar_8.ma	blob \| history \| raw
-rw-r--r--	1355	btpredstar_8.ma	blob \| history \| raw
-rw-r--r--	1362	btpredstaralt_8.ma	blob \| history \| raw
-rw-r--r--	1273	btsn_5.ma	blob \| history \| raw
-rw-r--r--	1280	btsnalt_5.ma	blob \| history \| raw
-rw-r--r--	1295	degree_6.ma	blob \| history \| raw
-rw-r--r--	1311	dpconvstar_6.ma	blob \| history \| raw
-rw-r--r--	1310	dpredstar_6.ma	blob \| history \| raw
-rw-r--r--	1246	extlrsubeq_4.ma	blob \| history \| raw
-rw-r--r--	1305	extpsubst_6.ma	blob \| history \| raw
-rw-r--r--	1311	extpsubststar_6.ma	blob \| history \| raw
-rw-r--r--	1318	extpsubststaralt_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--	1364	lazybtpredproper_8.ma	blob \| history \| raw
-rw-r--r--	1366	lazybtpredstarproper_8.ma	blob \| history \| raw
-rw-r--r--	1239	lazyeq_4.ma	blob \| history \| raw
-rw-r--r--	1246	lazyeqalt_4.ma	blob \| history \| raw
-rw-r--r--	1266	lazysn_5.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--	1267	lrsubeqd_5.ma	blob \| history \| raw
-rw-r--r--	1266	lrsubeqv_5.ma	blob \| history \| raw
-rw-r--r--	1279	nativevalid_5.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--	1253	pconv_4.ma	blob \| history \| raw
-rw-r--r--	1258	pconvstar_4.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--	1271	rdrop_5.ma	blob \| history \| raw
-rw-r--r--	1235	rdropstar_3.ma	blob \| history \| raw
-rw-r--r--	1256	rdropstar_4.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--	1303	statictype_6.ma	blob \| history \| raw
-rw-r--r--	1329	statictypestar_7.ma	blob \| history \| raw
-rw-r--r--	1337	statictypestaralt_7.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