changeset 12911 | 704713ca07ea |
parent 12519 | a955fe2879ba |
child 13052 | 3bf41c474a88 |
--- 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: