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

drwxr-xr-x		..
-rw-r--r--	1254	atomicarity_4.ma	blob \| history \| raw
-rw-r--r--	1272	exclaim_5.ma	blob \| history \| raw
-rw-r--r--	1231	freestar_3.ma	blob \| history \| raw
-rw-r--r--	1218	ideqsn_3.ma	blob \| history \| raw
-rw-r--r--	1278	ineint_5.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--	1271	lrsubeqf_4.ma	blob \| history \| raw
-rw-r--r--	1266	lrsubeqv_5.ma	blob \| history \| raw
-rw-r--r--	1285	lsubeqx_6.ma	blob \| history \| raw
-rw-r--r--	1298	nativevalid_6.ma	blob \| history \| raw
-rw-r--r--	1275	pconv_5.ma	blob \| history \| raw
-rw-r--r--	1280	pconvstar_5.ma	blob \| history \| raw
-rw-r--r--	1275	pred_5.ma	blob \| history \| raw
-rw-r--r--	1295	pred_6.ma	blob \| history \| raw
-rw-r--r--	1257	predsn_4.ma	blob \| history \| raw
-rw-r--r--	1240	predsnstar_3.ma	blob \| history \| raw
-rw-r--r--	1262	predsnstar_4.ma	blob \| history \| raw
-rw-r--r--	1281	predstar_5.ma	blob \| history \| raw
-rw-r--r--	1300	predstar_6.ma	blob \| history \| raw
-rw-r--r--	1353	predsubty_8.ma	blob \| history \| raw
-rw-r--r--	1359	predsubtyproper_8.ma	blob \| history \| raw
-rw-r--r--	1357	predsubtystar_8.ma	blob \| history \| raw
-rw-r--r--	1361	predsubtystarproper_8.ma	blob \| history \| raw
-rw-r--r--	1285	predsubtystrong_5.ma	blob \| history \| raw
-rw-r--r--	1277	predty_5.ma	blob \| history \| raw
-rw-r--r--	1319	predty_7.ma	blob \| history \| raw
-rw-r--r--	1293	predtynormal_5.ma	blob \| history \| raw
-rw-r--r--	1259	predtysn_4.ma	blob \| history \| raw
-rw-r--r--	1280	predtysn_5.ma	blob \| history \| raw
-rw-r--r--	1264	predtysnstar_4.ma	blob \| history \| raw
-rw-r--r--	1281	predtysnstrong_5.ma	blob \| history \| raw
-rw-r--r--	1283	predtystar_5.ma	blob \| history \| raw
-rw-r--r--	1295	predtystrong_5.ma	blob \| history \| raw
-rw-r--r--	1235	rdropstar_3.ma	blob \| history \| raw
-rw-r--r--	1255	rdropstar_4.ma	blob \| history \| raw
-rw-r--r--	1221	relation_3.ma	blob \| history \| raw
-rw-r--r--	1239	relation_4.ma	blob \| history \| raw
-rw-r--r--	1263	relation_5.ma	blob \| history \| raw
-rw-r--r--	1244	relationstar_4.ma	blob \| history \| raw
-rw-r--r--	1235	rliftstar_3.ma	blob \| history \| raw
-rw-r--r--	1189	simple_1.ma	blob \| history \| raw
-rw-r--r--	1238	stareq_4.ma	blob \| history \| raw
-rw-r--r--	1261	stareq_5.ma	blob \| history \| raw
-rw-r--r--	1260	stareqsn_5.ma	blob \| history \| raw
-rw-r--r--	1352	stareqsn_8.ma	blob \| history \| raw
-rw-r--r--	1265	subseteq_4.ma	blob \| history \| raw
-rw-r--r--	1308	supterm_6.ma	blob \| history \| raw
-rw-r--r--	1331	supterm_7.ma	blob \| history \| raw
-rw-r--r--	1314	suptermopt_6.ma	blob \| history \| raw
-rw-r--r--	1337	suptermopt_7.ma	blob \| history \| raw
-rw-r--r--	1302	suptermplus_6.ma	blob \| history \| raw
-rw-r--r--	1325	suptermplus_7.ma	blob \| history \| raw
-rw-r--r--	1308	suptermstar_6.ma	blob \| history \| raw
-rw-r--r--	1331	suptermstar_7.ma	blob \| history \| raw
-rw-r--r--	1238	topiso_4.ma	blob \| history \| raw
-rw-r--r--	1250	voidstareq_4.ma	blob \| history \| raw