doc-src/IsarRef/Thy/document/session.tex
author wenzelm
Wed, 07 May 2008 12:38:55 +0200
changeset 26840 ec46381f149d
parent 26782 19363c70b5c4
child 26849 df50bc1249d7
permissions -rw-r--r--
added logic-specific sessions;

\input{ZF_Specific.tex}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: "root"
%%% End: