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--	3536	mr2_at.ma	blob \| history \| raw
-rw-r--r--	3440	mr2_minus.ma	blob \| history \| raw
-rw-r--r--	1973	mr2_plus.ma	blob \| history \| raw
-rw-r--r--	3216	nstream.ma	blob \| history \| raw
-rw-r--r--	6487	nstream_after.ma	blob \| history \| raw
-rw-r--r--	2308	nstream_basic.ma	blob \| history \| raw
-rw-r--r--	3786	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--	4312	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--	22809	rtmap_after.ma	blob \| history \| raw
-rw-r--r--	15864	rtmap_at.ma	blob \| history \| raw
-rw-r--r--	2169	rtmap_basic.ma	blob \| history \| raw
-rw-r--r--	1789	rtmap_basic_after.ma	blob \| history \| raw
-rw-r--r--	32336	rtmap_coafter.ma	blob \| history \| raw
-rw-r--r--	5178	rtmap_eq.ma	blob \| history \| raw
-rw-r--r--	3590	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--	4421	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--	22664	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