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--	1221	approxeqsn_3.ma	blob \| history \| raw
-rw-r--r--	1311	approxeqsn_6.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--	1191	ideq_2.ma	blob \| history \| raw
-rw-r--r--	1216	ideq_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--	1228	rdrop_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--	1228	rlift_3.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--	1217	stareq_3.ma	blob \| history \| raw
-rw-r--r--	1240	stareq_4.ma	blob \| history \| raw
-rw-r--r--	1239	stareqsn_4.ma	blob \| history \| raw
-rw-r--r--	1331	stareqsn_7.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--	1192	tilde_2.ma	blob \| history \| raw
-rw-r--r--	1199	tildeminus_2.ma	blob \| history \| raw
-rw-r--r--	1249	voidstareq_4.ma	blob \| history \| raw