Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/MicroJava/document/root.tex
author oheimb
Fri, 14 Jul 2000 20:47:11 +0200
changeset 9348 f495dba0cb07
parent 8193 33e4ec7a2daa
child 9755 6fefedeb3428
permissions -rw-r--r--
corrections (cast relation, Prog.ML -> Decl.ML)
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
















isabelle