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

drwxr-xr-x		..
-rw-r--r--	1197	approxeq_2.ma	blob \| history \| raw
-rw-r--r--	1254	atomicarity_4.ma	blob \| history \| raw
-rw-r--r--	1230	freeplus_3.ma	blob \| history \| raw
-rw-r--r--	1217	ideqsn_3.ma	blob \| history \| raw
-rw-r--r--	1282	inwbrackets_5.ma	blob \| history \| raw
-rw-r--r--	1223	lrsubeqa_3.ma	blob \| history \| raw
-rw-r--r--	1197	lrsubeqc_2.ma	blob \| history \| raw
-rw-r--r--	1242	lrsubeqc_4.ma	blob \| history \| raw
-rw-r--r--	1269	lrsubeqf_4.ma	blob \| history \| raw
-rw-r--r--	1233	rdropstar_3.ma	blob \| history \| raw
-rw-r--r--	1253	rdropstar_4.ma	blob \| history \| raw
-rw-r--r--	1219	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--	1248	rlift_4.ma	blob \| history \| raw
-rw-r--r--	1233	rliftstar_3.ma	blob \| history \| raw
-rw-r--r--	1188	simple_1.ma	blob \| history \| raw
-rw-r--r--	1195	stareq_2.ma	blob \| history \| raw
-rw-r--r--	1218	stareq_3.ma	blob \| history \| raw
-rw-r--r--	1219	stareqsn_3.ma	blob \| history \| raw
-rw-r--r--	1309	stareqsn_6.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--	1330	supterm_7.ma	blob \| history \| raw
-rw-r--r--	1314	suptermopt_6.ma	blob \| history \| raw
-rw-r--r--	1336	suptermopt_7.ma	blob \| history \| raw
-rw-r--r--	1313	suptermplus_6.ma	blob \| history \| raw
-rw-r--r--	1335	suptermplus_7.ma	blob \| history \| raw
-rw-r--r--	1313	suptermstar_6.ma	blob \| history \| raw
-rw-r--r--	1335	suptermstar_7.ma	blob \| history \| raw
-rw-r--r--	1195	topiso_2.ma	blob \| history \| raw
-rw-r--r--	1249	voidstareq_4.ma	blob \| history \| raw