--- a/src/HOL/MicroJava/J/Type.thy Mon Feb 05 14:59:44 2001 +0100
+++ b/src/HOL/MicroJava/J/Type.thy Mon Feb 05 20:14:15 2001 +0100
@@ -2,9 +2,9 @@
ID: $Id$
Author: David von Oheimb
Copyright 1999 Technische Universitaet Muenchen
+*)
-Java types
-*)
+header "Java types"
theory Type = JBasis: