doc-src/IsarRef/Thy/document/session.tex
author wenzelm
Sat, 03 May 2008 13:26:08 +0200
changeset 26779 35809287ab23
parent 26767 cc127cc0951b
child 26782 19363c70b5c4
permissions -rw-r--r--
converted refcard.tex to Thy/Quick_Reference.thy;
     1 \input{intro.tex}
     2 
     3 \input{syntax.tex}
     4 
     5 \input{pure.tex}
     6 
     7 \input{Quick_Reference.tex}
     8 
     9 %%% Local Variables:
    10 %%% mode: latex
    11 %%% TeX-master: "root"
    12 %%% End: