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

drwxr-xr-x		..
-rw-r--r--	1481	mr2.ma	blob \| history \| raw
-rw-r--r--	3512	mr2_at.ma	blob \| history \| raw
-rw-r--r--	3400	mr2_minus.ma	blob \| history \| raw
-rw-r--r--	1958	mr2_plus.ma	blob \| history \| raw
-rw-r--r--	3217	nstream.ma	blob \| history \| raw
-rw-r--r--	6275	nstream_after.ma	blob \| history \| raw
-rw-r--r--	3788	nstream_coafter.ma	blob \| history \| raw
-rw-r--r--	2565	nstream_eq.ma	blob \| history \| raw
-rw-r--r--	1535	nstream_id.ma	blob \| history \| raw
-rw-r--r--	1438	nstream_isid.ma	blob \| history \| raw
-rw-r--r--	3858	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--	22811	rtmap_after.ma	blob \| history \| raw
-rw-r--r--	15930	rtmap_at.ma	blob \| history \| raw
-rw-r--r--	2169	rtmap_basic.ma	blob \| history \| raw
-rw-r--r--	32336	rtmap_coafter.ma	blob \| history \| raw
-rw-r--r--	5144	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--	2508	rtmap_nexts.ma	blob \| history \| raw
-rw-r--r--	2508	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--	22630	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