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--	3187	nstream.ma	blob \| history \| raw
-rw-r--r--	6087	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--	3793	nstream_istot.ma	blob \| history \| raw
-rw-r--r--	1249	rtmap.ma	blob \| history \| raw
-rw-r--r--	16655	rtmap_after.ma	blob \| history \| raw
-rw-r--r--	11919	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--	2893	rtmap_isid.ma	blob \| history \| raw
-rw-r--r--	4385	rtmap_istot.ma	blob \| history \| raw
-rw-r--r--	3540	rtmap_sle.ma	blob \| history \| raw
-rw-r--r--	1690	rtmap_tl.ma	blob \| history \| raw
-rw-r--r--	1793	rtmap_tls.ma	blob \| history \| raw