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--	3604	mr2_at.ma	blob \| history \| raw
-rw-r--r--	3577	mr2_minus.ma	blob \| history \| raw
-rw-r--r--	2029	mr2_plus.ma	blob \| history \| raw
-rw-r--r--	3105	pstream.ma	blob \| history \| raw
-rw-r--r--	6553	pstream_after.ma	blob \| history \| raw
-rw-r--r--	2424	pstream_basic.ma	blob \| history \| raw
-rw-r--r--	3823	pstream_coafter.ma	blob \| history \| raw
-rw-r--r--	2623	pstream_eq.ma	blob \| history \| raw
-rw-r--r--	1531	pstream_id.ma	blob \| history \| raw
-rw-r--r--	1386	pstream_isid.ma	blob \| history \| raw
-rw-r--r--	4339	pstream_istot.ma	blob \| history \| raw
-rw-r--r--	1365	pstream_sor.ma	blob \| history \| raw
-rw-r--r--	1330	pstream_tl.ma	blob \| history \| raw
-rw-r--r--	1405	pstream_tls.ma	blob \| history \| raw
-rw-r--r--	1247	rtmap.ma	blob \| history \| raw
-rw-r--r--	18708	rtmap_after.ma	blob \| history \| raw
-rw-r--r--	2570	rtmap_after_nat_uni.ma	blob \| history \| raw
-rw-r--r--	4239	rtmap_after_uni.ma	blob \| history \| raw
-rw-r--r--	16180	rtmap_at.ma	blob \| history \| raw
-rw-r--r--	1574	rtmap_at_uni.ma	blob \| history \| raw
-rw-r--r--	1584	rtmap_basic.ma	blob \| history \| raw
-rw-r--r--	1830	rtmap_basic_after.ma	blob \| history \| raw
-rw-r--r--	1965	rtmap_basic_at.ma	blob \| history \| raw
-rw-r--r--	2189	rtmap_basic_nat.ma	blob \| history \| raw
-rw-r--r--	21645	rtmap_coafter.ma	blob \| history \| raw
-rw-r--r--	1681	rtmap_coafter_uni.ma	blob \| history \| raw
-rw-r--r--	5172	rtmap_eq.ma	blob \| history \| raw
-rw-r--r--	3679	rtmap_fcla.ma	blob \| history \| raw
-rw-r--r--	1591	rtmap_id.ma	blob \| history \| raw
-rw-r--r--	3885	rtmap_isdiv.ma	blob \| history \| raw
-rw-r--r--	3811	rtmap_isfin.ma	blob \| history \| raw
-rw-r--r--	3804	rtmap_isid.ma	blob \| history \| raw
-rw-r--r--	4213	rtmap_istot.ma	blob \| history \| raw
-rw-r--r--	2488	rtmap_isuni.ma	blob \| history \| raw
-rw-r--r--	9370	rtmap_nat.ma	blob \| history \| raw
-rw-r--r--	1593	rtmap_nat_uni.ma	blob \| history \| raw
-rw-r--r--	2639	rtmap_nexts.ma	blob \| history \| raw
-rw-r--r--	2639	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--	7172	rtmap_sle.ma	blob \| history \| raw
-rw-r--r--	22859	rtmap_sor.ma	blob \| history \| raw
-rw-r--r--	1686	rtmap_tl.ma	blob \| history \| raw
-rw-r--r--	2099	rtmap_tls.ma	blob \| history \| raw
-rw-r--r--	3991	rtmap_uni.ma	blob \| history \| raw