Commit 9f1f905a authored by Michael Kohlhase's avatar Michael Kohlhase

debugging

parent 671e7fa4
\begin{modsig}[creators=miko,srccite=Rudin:fa73]{bounded-topvr}
\gimport{topological-vectorspace}
\gimport[smglom/topology]{neighborhood}
\gimport[smglom/sets]{partial-order}
\symi{bounded}
\end{modsig}
%%% Local Variables:
......
\begin{modsig}[creators=miko,srccite=Rudin:fa73]{locally-bounded}
\gimport{topological-vectorspace}
\gimport{bounded-topvr}
\symii{locally}{bounded}
\end{modsig}
......
......@@ -3,8 +3,6 @@
\gimport[smglom/arithmetics]{realarith}
\gimport[smglom/linear-algebra]{vector-space}
\gimport[smglom/arithmetics]{arithmetics}
\gimport[smglom/arithmetics]{numbers-orders}
\gimport[smglom/sets]{functions}
\gimport[smglom/algebra]{subfield}
\symdef[name=norm,align=norm]{anormOp}{|\cdot|}
\symvariant{anormOp}{double}{\Vert\cdot\Vert}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment