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 typo in method invocation;
authorwenzelm
Thu, 13 Apr 2006 12:01:15 +0200
changeset 19437 77b19ffc175e
parent 19436 3f5835aac3ce
child 19438 6d266e266b3f
fixed typo in method invocation;
src/HOL/MicroJava/BV/LBVJVM.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/MicroJava/BV/LBVJVM.thy	Thu Apr 13 12:01:14 2006 +0200
+++ b/src/HOL/MicroJava/BV/LBVJVM.thy	Thu Apr 13 12:01:15 2006 +0200
@@ -310,7 +310,7 @@
   "wt_jvm_prog G Phi \<Longrightarrow> wt_jvm_prog_lbv G (prg_cert G Phi)"
   apply (unfold wt_jvm_prog_def wt_jvm_prog_lbv_def)
   apply (erule jvm_prog_lift)
-  apply (auto simp add: prg_cert_def intro wt_method_wt_lbv)
+  apply (auto simp add: prg_cert_def intro: wt_method_wt_lbv)
   done  
 
 end
isabelle