--- a/src/HOL/MicroJava/JVM/JVMState.thy Tue Jan 16 19:21:21 2001 +0100
+++ b/src/HOL/MicroJava/JVM/JVMState.thy Tue Jan 16 19:22:13 2001 +0100
@@ -8,7 +8,7 @@
header {* State of the JVM *}
-theory JVMState = Store:
+theory JVMState = Conform:
text {* frame stack :*}