1.1 --- a/doc-src/IsarImplementation/Thy/document/base.tex	Wed Mar 04 11:05:02 2009 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,32 +0,0 @@
     1.4 -%
     1.5 -\begin{isabellebody}%
     1.6 -\def\isabellecontext{base}%
     1.7 -%
     1.8 -\isadelimtheory
     1.9 -\isanewline
    1.10 -\isanewline
    1.11 -\isanewline
    1.12 -%
    1.13 -\endisadelimtheory
    1.14 -%
    1.15 -\isatagtheory
    1.16 -\isacommand{theory}\isamarkupfalse%
    1.17 -\ base\isanewline
    1.18 -\isakeyword{imports}\ Pure\isanewline
    1.19 -\isakeyword{uses}\ {\isachardoublequoteopen}{\isachardot}{\isachardot}{\isacharslash}{\isachardot}{\isachardot}{\isacharslash}antiquote{\isacharunderscore}setup{\isachardot}ML{\isachardoublequoteclose}\isanewline
    1.20 -\isakeyword{begin}\isanewline
    1.21 -\isanewline
    1.22 -\isacommand{end}\isamarkupfalse%
    1.23 -%
    1.24 -\endisatagtheory
    1.25 -{\isafoldtheory}%
    1.26 -%
    1.27 -\isadelimtheory
    1.28 -\isanewline
    1.29 -%
    1.30 -\endisadelimtheory
    1.31 -\end{isabellebody}%
    1.32 -%%% Local Variables:
    1.33 -%%% mode: latex
    1.34 -%%% TeX-master: "root"
    1.35 -%%% End: