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.
fixed theory deps
authorkleing
Tue, 15 Jan 2002 23:23:09 +0100
changeset 12774 501da8288f05
parent 12773 a47f51daa6dc
child 12775 1748c16c2df3
fixed theory deps
src/HOL/MicroJava/BV/Correct.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/MicroJava/BV/Correct.thy	Tue Jan 15 22:22:05 2002 +0100
+++ b/src/HOL/MicroJava/BV/Correct.thy	Tue Jan 15 23:23:09 2002 +0100
@@ -9,7 +9,7 @@
 
 header "BV Type Safety Invariant"
 
-theory Correct = BVSpec:
+theory Correct = BVSpec + JVMExec:
 
 constdefs
   approx_val :: "[jvm_prog,aheap,val,ty err] => bool"
isabelle