Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/MicroJava/J/Eval.thy
changeset 33128 1f990689349f
parent 28524 644b62cf678f
child 33129 3085da75ed54 
--- a/src/HOL/MicroJava/J/Eval.thy	Sat Oct 24 16:55:42 2009 +0200
+++ b/src/HOL/MicroJava/J/Eval.thy	Sat Oct 24 16:55:42 2009 +0200
@@ -40,7 +40,7 @@
           ("_ \<turnstile> _ -_[\<succ>]_-> _" [51,82,60,51,82] 81)
   and exec :: "[java_mb prog,xstate,stmt,    xstate] => bool "
           ("_ \<turnstile> _ -_-> _" [51,82,60,82] 81)
-  for G :: "java_mb prog"
+  (*for G :: "java_mb prog"*)
 where
 
   -- "evaluation of expressions"
isabelle