
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/ZF/isabelle.sty
--- a/doc-src/ZF/isabelle.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/ZF/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)
 




