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--	17923	nstream_after.ma	blob \| history \| raw
-rw-r--r--	10939	nstream_at.ma	blob \| history \| raw
-rw-r--r--	4942	nstream_id.ma	blob \| history \| raw
-rw-r--r--	2630	nstream_lift.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