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

drwxr-xr-x		..
-rw-r--r--	1475	mr2.ma	blob \| history \| raw
-rw-r--r--	1655	mr2_append.ma	blob \| history \| raw
-rw-r--r--	3532	mr2_at.ma	blob \| history \| raw
-rw-r--r--	3436	mr2_minus.ma	blob \| history \| raw
-rw-r--r--	1971	mr2_plus.ma	blob \| history \| raw
-rw-r--r--	3212	nstream.ma	blob \| history \| raw
-rw-r--r--	6483	nstream_after.ma	blob \| history \| raw
-rw-r--r--	2304	nstream_basic.ma	blob \| history \| raw
-rw-r--r--	3782	nstream_coafter.ma	blob \| history \| raw
-rw-r--r--	2563	nstream_eq.ma	blob \| history \| raw
-rw-r--r--	1531	nstream_id.ma	blob \| history \| raw
-rw-r--r--	1434	nstream_isid.ma	blob \| history \| raw
-rw-r--r--	4306	nstream_istot.ma	blob \| history \| raw
-rw-r--r--	1365	nstream_sor.ma	blob \| history \| raw
-rw-r--r--	1247	rtmap.ma	blob \| history \| raw
-rw-r--r--	22805	rtmap_after.ma	blob \| history \| raw
-rw-r--r--	15860	rtmap_at.ma	blob \| history \| raw
-rw-r--r--	2165	rtmap_basic.ma	blob \| history \| raw
-rw-r--r--	1785	rtmap_basic_after.ma	blob \| history \| raw
-rw-r--r--	32330	rtmap_coafter.ma	blob \| history \| raw
-rw-r--r--	5172	rtmap_eq.ma	blob \| history \| raw
-rw-r--r--	3586	rtmap_fcla.ma	blob \| history \| raw
-rw-r--r--	1591	rtmap_id.ma	blob \| history \| raw
-rw-r--r--	3840	rtmap_isdiv.ma	blob \| history \| raw
-rw-r--r--	3766	rtmap_isfin.ma	blob \| history \| raw
-rw-r--r--	3759	rtmap_isid.ma	blob \| history \| raw
-rw-r--r--	4417	rtmap_istot.ma	blob \| history \| raw
-rw-r--r--	2488	rtmap_isuni.ma	blob \| history \| raw
-rw-r--r--	2504	rtmap_nexts.ma	blob \| history \| raw
-rw-r--r--	2504	rtmap_pushs.ma	blob \| history \| raw
-rw-r--r--	5629	rtmap_sand.ma	blob \| history \| raw
-rw-r--r--	5519	rtmap_sdj.ma	blob \| history \| raw
-rw-r--r--	7142	rtmap_sle.ma	blob \| history \| raw
-rw-r--r--	22656	rtmap_sor.ma	blob \| history \| raw
-rw-r--r--	1686	rtmap_tl.ma	blob \| history \| raw
-rw-r--r--	2003	rtmap_tls.ma	blob \| history \| raw
-rw-r--r--	3850	rtmap_uni.ma	blob \| history \| raw