src/HOL/MicroJava/document/root.tex
author wenzelm
Fri, 04 Feb 2000 21:45:57 +0100
changeset 8193 33e4ec7a2daa
child 9755 6fefedeb3428
permissions -rw-r--r--
added MicroJava/document;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8193
33e4ec7a2daa added MicroJava/document;
wenzelm
parents:
diff changeset
     1
33e4ec7a2daa added MicroJava/document;
wenzelm
parents:
diff changeset
     2
\documentclass[11pt,a4paper]{article}
33e4ec7a2daa added MicroJava/document;
wenzelm
parents:
diff changeset
     3
\usepackage{isabelle,isabellesym,pdfsetup}
33e4ec7a2daa added MicroJava/document;
wenzelm
parents:
diff changeset
     4
33e4ec7a2daa added MicroJava/document;
wenzelm
parents:
diff changeset
     5
\begin{document}
33e4ec7a2daa added MicroJava/document;
wenzelm
parents:
diff changeset
     6
\input{session}
33e4ec7a2daa added MicroJava/document;
wenzelm
parents:
diff changeset
     7
\end{document}
33e4ec7a2daa added MicroJava/document;
wenzelm
parents:
diff changeset
     8