added lbv completeness
authorkleing
Wed, 27 Mar 2002 20:45:03 +0100
changeset 13072 0e028b1f3f38
parent 13071 f538a1dba7ee
child 13073 cc9d7f403a4b
added lbv completeness
src/HOL/MicroJava/ROOT.ML
--- a/src/HOL/MicroJava/ROOT.ML	Wed Mar 27 20:44:53 2002 +0100
+++ b/src/HOL/MicroJava/ROOT.ML	Wed Mar 27 20:45:03 2002 +0100
@@ -14,7 +14,4 @@
 use_thy "BVSpecTypeSafe";
 use_thy "BVExample";
 use_thy "LBVCorrect";
-
-(* momentarily broken:
 use_thy "LBVComplete";
-*)