
diff -r f5bceeec9d91 -r 704713ca07ea src/HOL/MicroJava/JVM/JVMState.thy
--- a/src/HOL/MicroJava/JVM/JVMState.thy	Wed Feb 20 17:30:46 2002 +0100
+++ b/src/HOL/MicroJava/JVM/JVMState.thy	Thu Feb 21 09:54:08 2002 +0100
@@ -4,7 +4,10 @@
     Copyright   1999 Technische Universitaet Muenchen
 *)
 
-header {* State of the JVM *}
+header {* 
+  \chapter{Java Virtual Machine}\label{cha:jvm}
+  \isaheader{State of the JVM} 
+*}
 
 theory JVMState = Conform:
 




