doc-src/Locales/Locales/document/isabelle.sty

--- a/doc-src/Locales/Locales/document/isabelle.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/Locales/Locales/document/isabelle.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,9 +1,8 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% macros for Isabelle generated LaTeX output
 %%
-%% 
 
 %%% Simple document preparation (based on theory token language and symbols)