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 12962 a24ffe84a06a
parent 12937 0c4fd7529467
child 12963 73fb6a200e36 
--- a/src/HOL/Bali/WellForm.thy	Tue Feb 26 21:57:13 2002 +0100
+++ b/src/HOL/Bali/WellForm.thy	Wed Feb 27 08:52:09 2002 +0100
@@ -820,7 +820,7 @@
     qed
     with Direct resTy_widen not_static_old 
     show "?Overrides new old" 
-      by (auto intro: overridesR.Direct) 
+      by (auto intro: overridesR.Direct stat_override_declclasses_relation) 
   next
     case (Indirect inter new old)
     then show "?Overrides new old"
isabelle