src/HOL/Bali/Decl.thy

--- a/src/HOL/Bali/Decl.thy	Thu Feb 21 20:11:32 2002 +0100
+++ b/src/HOL/Bali/Decl.thy	Fri Feb 22 11:26:44 2002 +0100
@@ -1,6 +1,6 @@
 (*  Title:      HOL/Bali/Decl.thy
     ID:         $Id$
-    Author:     David von Oheimb
+    Author:     David von Oheimb and Norbert Schirmer
     License:    GPL (GNU GENERAL PUBLIC LICENSE)
 *)
 header {* Field, method, interface, and class declarations, whole Java programs