Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
temporarily removed JVMListExample
authorkleing
Sun, 16 Dec 2001 00:19:54 +0100
changeset 12520 6d754b9a1303
parent 12519 a955fe2879ba
child 12521 b1ebe0320d79
temporarily removed JVMListExample
src/HOL/MicroJava/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/MicroJava/ROOT.ML	Sun Dec 16 00:19:08 2001 +0100
+++ b/src/HOL/MicroJava/ROOT.ML	Sun Dec 16 00:19:54 2001 +0100
@@ -7,8 +7,11 @@
 use_thy "JTypeSafe";
 use_thy "Example";
 use_thy "JListExample";
-use_thy "JVMListExample";
+(* use_thy "JVMListExample"; *)
 use_thy "BVSpecTypeSafe";
+use_thy "JVM";
+use_thy "LBVSpec"; 
+(* momentarily broken:
 use_thy "LBVCorrect";
 use_thy "LBVComplete";
-use_thy "JVM";
+*)
isabelle