diff -r 21ba831562d0 -r f1209aff9517 src/HOL/MicroJava/JVM/JVMState.thy
--- 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 :*}