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--	1968	mr2_plus.ma	blob \| history \| raw
-rw-r--r--	3191	nstream.ma	blob \| history \| raw
-rw-r--r--	6189	nstream_after.ma	blob \| history \| raw
-rw-r--r--	2553	nstream_eq.ma	blob \| history \| raw
-rw-r--r--	1535	nstream_id.ma	blob \| history \| raw
-rw-r--r--	1436	nstream_isid.ma	blob \| history \| raw
-rw-r--r--	3800	nstream_istot.ma	blob \| history \| raw
-rw-r--r--	1047	nstream_sand.ma	blob \| history \| raw
-rw-r--r--	1249	rtmap.ma	blob \| history \| raw
-rw-r--r--	22761	rtmap_after.ma	blob \| history \| raw
-rw-r--r--	15930	rtmap_at.ma	blob \| history \| raw
-rw-r--r--	30575	rtmap_coafter.ma	blob \| history \| raw
-rw-r--r--	5152	rtmap_eq.ma	blob \| history \| raw
-rw-r--r--	3592	rtmap_fcla.ma	blob \| history \| raw
-rw-r--r--	1595	rtmap_id.ma	blob \| history \| raw
-rw-r--r--	3394	rtmap_isfin.ma	blob \| history \| raw
-rw-r--r--	3383	rtmap_isid.ma	blob \| history \| raw
-rw-r--r--	4429	rtmap_istot.ma	blob \| history \| raw
-rw-r--r--	2492	rtmap_isuni.ma	blob \| history \| raw
-rw-r--r--	1802	rtmap_pushs.ma	blob \| history \| raw
-rw-r--r--	5633	rtmap_sand.ma	blob \| history \| raw
-rw-r--r--	3532	rtmap_sle.ma	blob \| history \| raw
-rw-r--r--	16036	rtmap_sor.ma	blob \| history \| raw
-rw-r--r--	1690	rtmap_tl.ma	blob \| history \| raw
-rw-r--r--	2009	rtmap_tls.ma	blob \| history \| raw
-rw-r--r--	3856	rtmap_uni.ma	blob \| history \| raw