doc-src/TutorialI/CTL/document/root.tex
author paulson
Thu, 11 Jan 2001 12:12:01 +0100
changeset 10867 bda1701848cd
parent 10124 33a3cf0a5c25
permissions -rw-r--r--
lcp's suggestions for CTL

\documentclass{article}
\begin{document}
xxx
\end{document}