--- a/doc-src/TutorialI/isabelle.sty Mon Jun 06 21:20:54 2005 +0200
+++ b/doc-src/TutorialI/isabelle.sty Mon Jun 06 21:21:19 2005 +0200
@@ -3,6 +3,7 @@
%%
%% macros for Isabelle generated LaTeX output
%%
+%%
%%% Simple document preparation (based on theory token language and symbols)