--- a/lib/encodings/isabelle-0 Sun Sep 03 20:00:34 2000 +0200
+++ b/lib/encodings/isabelle-0 Sun Sep 03 20:01:27 2000 +0200
@@ -1,5 +1,7 @@
#
# $Id$
+# Author: Markus Wenzel, TU Muenchen
+# License: GPL (GNU GENERAL PUBLIC LICENSE)
#
# The isabelle-0 encoding table.
#