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/Bali/WellForm.thy
changeset 35067 af4c18c30593
parent 34915 7894c7dab132
child 35416 d8d7d1b785af 
--- a/src/HOL/Bali/WellForm.thy	Tue Feb 09 16:07:09 2010 +0100
+++ b/src/HOL/Bali/WellForm.thy	Wed Feb 10 00:45:16 2010 +0100
@@ -2925,7 +2925,7 @@
     then show "?P m"
       by (auto simp add: permits_acc_def)
   next
-    case (Overriding new C declC newm old Sup)
+    case (Overriding new declC newm old Sup C)
     assume member_new: "G \<turnstile> new member_in C" and
                   new: "new = (declC, mdecl newm)" and
              override: "G \<turnstile> (declC, newm) overrides old" and
isabelle