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--	1961	mr2_plus.ma	blob \| history \| raw
-rw-r--r--	1193	nstream.ma	blob \| history \| raw
-rw-r--r--	20465	nstream_after.ma	blob \| history \| raw
-rw-r--r--	2561	nstream_eq.ma	blob \| history \| raw
-rw-r--r--	1528	nstream_id.ma	blob \| history \| raw
-rw-r--r--	1436	nstream_isid.ma	blob \| history \| raw
-rw-r--r--	3854	nstream_istot.ma	blob \| history \| raw
-rw-r--r--	2752	nstream_lift.ma	blob \| history \| raw
-rw-r--r--	10744	rtmap_at.ma	blob \| history \| raw
-rw-r--r--	5194	rtmap_eq.ma	blob \| history \| raw
-rw-r--r--	1595	rtmap_id.ma	blob \| history \| raw
-rw-r--r--	2892	rtmap_isid.ma	blob \| history \| raw
-rw-r--r--	3983	rtmap_istot.ma	blob \| history \| raw
-rw-r--r--	3540	rtmap_sle.ma	blob \| history \| raw
-rw-r--r--	1963	trace.ma	blob \| history \| raw
-rw-r--r--	11295	trace_after.ma	blob \| history \| raw
-rw-r--r--	9416	trace_at.ma	blob \| history \| raw
-rw-r--r--	4581	trace_isid.ma	blob \| history \| raw
-rw-r--r--	2013	trace_isun.ma	blob \| history \| raw
-rw-r--r--	2663	trace_sle.ma	blob \| history \| raw
-rw-r--r--	1831	trace_snot.ma	blob \| history \| raw
-rw-r--r--	2916	trace_sor.ma	blob \| history \| raw