--- a/doc-src/TutorialI/isabelle.sty Sun Jan 07 21:45:14 2001 +0100 +++ b/doc-src/TutorialI/isabelle.sty Sun Jan 07 22:39:28 2001 +0100 @@ -1,5 +1,4 @@ %% -%% $Id$ %% Author: Markus Wenzel, TU Muenchen %% License: GPL (GNU GENERAL PUBLIC LICENSE) %%