src/HOL/MicroJava/J/JBasis.thy

--- a/src/HOL/MicroJava/J/JBasis.thy	Wed Feb 20 17:30:46 2002 +0100
+++ b/src/HOL/MicroJava/J/JBasis.thy	Thu Feb 21 09:54:08 2002 +0100
@@ -4,7 +4,10 @@
     Copyright   1999 TU Muenchen
 *)
 
-header "Some Auxiliary Definitions"
+header {* 
+  \chapter{Java Source Language}\label{cha:j}
+  \isaheader{Some Auxiliary Definitions}
+*}
 
 theory JBasis = Main: