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

drwxr-xr-x		..
-rw-r--r--	1159	mr2.ma	blob \| history \| raw
-rw-r--r--	3524	mr2_at.ma	blob \| history \| raw
-rw-r--r--	3420	mr2_minus.ma	blob \| history \| raw
-rw-r--r--	1961	mr2_plus.ma	blob \| history \| raw
-rw-r--r--	3045	nstream.ma	blob \| history \| raw
-rw-r--r--	20465	nstream_after.ma	blob \| history \| raw
-rw-r--r--	2561	nstream_eq.ma	blob \| history \| raw
-rw-r--r--	1528	nstream_id.ma	blob \| history \| raw
-rw-r--r--	1436	nstream_isid.ma	blob \| history \| raw
-rw-r--r--	3859	nstream_istot.ma	blob \| history \| raw
-rw-r--r--	1249	rtmap.ma	blob \| history \| raw
-rw-r--r--	16645	rtmap_after.ma	blob \| history \| raw
-rw-r--r--	12019	rtmap_at.ma	blob \| history \| raw
-rw-r--r--	5162	rtmap_eq.ma	blob \| history \| raw
-rw-r--r--	1595	rtmap_id.ma	blob \| history \| raw
-rw-r--r--	2895	rtmap_isid.ma	blob \| history \| raw
-rw-r--r--	4382	rtmap_istot.ma	blob \| history \| raw
-rw-r--r--	1726	rtmap_minus.ma	blob \| history \| raw
-rw-r--r--	3540	rtmap_sle.ma	blob \| history \| raw
-rw-r--r--	1682	rtmap_tl.ma	blob \| history \| raw