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--	3762	nstream_coafter.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--	3842	nstream_istot.ma	blob \| history \| raw
-rw-r--r--	1367	nstream_sor.ma	blob \| history \| raw
-rw-r--r--	1249	rtmap.ma	blob \| history \| raw
-rw-r--r--	22812	rtmap_after.ma	blob \| history \| raw
-rw-r--r--	15930	rtmap_at.ma	blob \| history \| raw
-rw-r--r--	32336	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--	3846	rtmap_isdiv.ma	blob \| history \| raw
-rw-r--r--	3770	rtmap_isfin.ma	blob \| history \| raw
-rw-r--r--	3763	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--	2512	rtmap_nexts.ma	blob \| history \| raw
-rw-r--r--	2502	rtmap_pushs.ma	blob \| history \| raw
-rw-r--r--	5633	rtmap_sand.ma	blob \| history \| raw
-rw-r--r--	5523	rtmap_sdj.ma	blob \| history \| raw
-rw-r--r--	7146	rtmap_sle.ma	blob \| history \| raw
-rw-r--r--	22333	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