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 paulson
Thu, 13 Jul 2000 13:00:22 +0200
changeset 9302 8adf653d40a1
parent 8193 33e4ec7a2daa
child 9755 6fefedeb3428
permissions -rw-r--r--
le_refl_iff as default rule
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