# HG changeset patch
# User wenzelm
# Date 968172185 -7200
# Node ID 1206c7615a47b173139c0e8bed424db13dad31ae
# Parent  8016321c7de1b25a1d8dde18782a2774ebb6c9b4
updated;

diff -r 8016321c7de1 -r 1206c7615a47 doc-src/AxClass/generated/isabelle.sty
--- a/doc-src/AxClass/generated/isabelle.sty	Tue Sep 05 13:53:39 2000 +0200
+++ b/doc-src/AxClass/generated/isabelle.sty	Tue Sep 05 18:43:05 2000 +0200
@@ -1,5 +1,7 @@
 %%
 %% $Id$
+%% Author: Markus Wenzel, TU Muenchen
+%% License: GPL (GNU GENERAL PUBLIC LICENSE)
 %%
 %% macros for Isabelle generated LaTeX output
 %%
diff -r 8016321c7de1 -r 1206c7615a47 doc-src/AxClass/generated/isabellesym.sty
--- a/doc-src/AxClass/generated/isabellesym.sty	Tue Sep 05 13:53:39 2000 +0200
+++ b/doc-src/AxClass/generated/isabellesym.sty	Tue Sep 05 18:43:05 2000 +0200
@@ -1,5 +1,7 @@
 %%
 %% $Id$
+%% Author: Markus Wenzel, TU Muenchen
+%% License: GPL (GNU GENERAL PUBLIC LICENSE)
 %%
 %% definitions of standard Isabelle symbols
 %%
diff -r 8016321c7de1 -r 1206c7615a47 doc-src/TutorialI/isabelle.sty
--- a/doc-src/TutorialI/isabelle.sty	Tue Sep 05 13:53:39 2000 +0200
+++ b/doc-src/TutorialI/isabelle.sty	Tue Sep 05 18:43:05 2000 +0200
@@ -1,5 +1,7 @@
 %%
 %% $Id$
+%% Author: Markus Wenzel, TU Muenchen
+%% License: GPL (GNU GENERAL PUBLIC LICENSE)
 %%
 %% macros for Isabelle generated LaTeX output
 %%
diff -r 8016321c7de1 -r 1206c7615a47 doc-src/TutorialI/isabellesym.sty
--- a/doc-src/TutorialI/isabellesym.sty	Tue Sep 05 13:53:39 2000 +0200
+++ b/doc-src/TutorialI/isabellesym.sty	Tue Sep 05 18:43:05 2000 +0200
@@ -1,5 +1,7 @@
 %%
 %% $Id$
+%% Author: Markus Wenzel, TU Muenchen
+%% License: GPL (GNU GENERAL PUBLIC LICENSE)
 %%
 %% definitions of standard Isabelle symbols
 %%