--- a/src/HOL/MicroJava/JVM/JVMState.thy Wed Apr 27 11:49:20 2005 +0200
+++ b/src/HOL/MicroJava/JVM/JVMState.thy Wed Apr 27 16:39:44 2005 +0200
@@ -9,7 +9,9 @@
\isaheader{State of the JVM}
*}
-theory JVMState = Conform:
+theory JVMState
+imports "../J/Conform"
+begin
section {* Frame Stack *}
types