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--	1963	trace.ma	blob \| history \| raw
-rw-r--r--	11295	trace_after.ma	blob \| history \| raw
-rw-r--r--	9417	trace_at.ma	blob \| history \| raw
-rw-r--r--	4036	trace_isid.ma	blob \| history \| raw
-rw-r--r--	2916	trace_sor.ma	blob \| history \| raw