src/HOL/MicroJava/ROOT.ML

--- a/src/HOL/MicroJava/ROOT.ML	Fri Jun 14 23:25:36 2002 +0200
+++ b/src/HOL/MicroJava/ROOT.ML	Sat Jun 15 22:57:33 2002 +0200
@@ -11,7 +11,6 @@
 use_thy "JListExample";
 use_thy "JVMListExample";
 use_thy "JVM";
+use_thy "LBVJVM";
 use_thy "BVSpecTypeSafe";
 use_thy "BVExample";
-use_thy "LBVCorrect";
-use_thy "LBVComplete";