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--	1358	btpredalt_8.ma	blob \| history \| raw
-rw-r--r--	1357	btpredproper_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--	1269	btsn_5.ma	blob \| history \| raw
-rw-r--r--	1276	btsnalt_5.ma	blob \| history \| raw
-rw-r--r--	1262	cosn_5.ma	blob \| history \| raw
-rw-r--r--	1295	degree_6.ma	blob \| history \| raw
-rw-r--r--	1357	dpconvstar_8.ma	blob \| history \| raw
-rw-r--r--	1331	dpredstar_7.ma	blob \| history \| raw
-rw-r--r--	1253	freestar_4.ma	blob \| history \| raw
-rw-r--r--	1277	ineint_5.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--	1331	lazyeq_7.ma	blob \| history \| raw
-rw-r--r--	1262	lazyor_5.ma	blob \| history \| raw
-rw-r--r--	1240	lrsubeq_4.ma	blob \| history \| raw
-rw-r--r--	1224	lrsubeqa_3.ma	blob \| history \| raw
-rw-r--r--	1197	lrsubeqc_2.ma	blob \| history \| raw
-rw-r--r--	1243	lrsubeqc_4.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--	1239	midiso_4.ma	blob \| history \| raw
-rw-r--r--	1279	nativevalid_5.ma	blob \| history \| raw
-rw-r--r--	1301	nativevalid_6.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--	1253	pred_4.ma	blob \| history \| raw
-rw-r--r--	1296	pred_6.ma	blob \| history \| raw
-rw-r--r--	1271	predeval_4.ma	blob \| history \| raw
-rw-r--r--	1315	predeval_6.ma	blob \| history \| raw
-rw-r--r--	1249	prednormal_3.ma	blob \| history \| raw
-rw-r--r--	1292	prednormal_5.ma	blob \| history \| raw
-rw-r--r--	1255	prednotreducible_3.ma	blob \| history \| raw
-rw-r--r--	1298	prednotreducible_5.ma	blob \| history \| raw
-rw-r--r--	1252	predreducible_3.ma	blob \| history \| raw
-rw-r--r--	1295	predreducible_5.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--	1253	predstar_4.ma	blob \| history \| raw
-rw-r--r--	1302	predstar_6.ma	blob \| history \| raw
-rw-r--r--	1299	psubst_6.ma	blob \| history \| raw
-rw-r--r--	1305	psubststar_6.ma	blob \| history \| raw
-rw-r--r--	1312	psubststaralt_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--	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--	1279	sn_6.ma	blob \| history \| raw
-rw-r--r--	1280	snalt_5.ma	blob \| history \| raw
-rw-r--r--	1286	snalt_6.ma	blob \| history \| raw
-rw-r--r--	1308	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--	1195	topiso_2.ma	blob \| history \| raw
-rw-r--r--	1260	unfold_4.ma	blob \| history \| raw