doc-src/TutorialI/CTL/document/root.tex
author paulson
Mon, 05 Mar 2001 15:25:11 +0100
changeset 11193 851c90b23a9e
parent 10124 33a3cf0a5c25
permissions -rw-r--r--
reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10124
33a3cf0a5c25 *** empty log message ***
nipkow
parents:
diff changeset
     1
\documentclass{article}
33a3cf0a5c25 *** empty log message ***
nipkow
parents:
diff changeset
     2
\begin{document}
33a3cf0a5c25 *** empty log message ***
nipkow
parents:
diff changeset
     3
xxx
33a3cf0a5c25 *** empty log message ***
nipkow
parents:
diff changeset
     4
\end{document}