doc-src/IsarAdvanced/Functions/Thy/document/session.tex
author haftmann
Wed, 16 Apr 2008 10:50:37 +0200
changeset 26678 a3ae088dc20f
parent 23805 953eb3c5f793
permissions -rw-r--r--
educated guess for infix syntax

\input{Functions.tex}

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