src/HOL/Bali/WellForm.thy
changeset 12962 a24ffe84a06a
parent 12937 0c4fd7529467
child 12963 73fb6a200e36
     1.1 --- a/src/HOL/Bali/WellForm.thy	Tue Feb 26 21:57:13 2002 +0100
     1.2 +++ b/src/HOL/Bali/WellForm.thy	Wed Feb 27 08:52:09 2002 +0100
     1.3 @@ -820,7 +820,7 @@
     1.4      qed
     1.5      with Direct resTy_widen not_static_old 
     1.6      show "?Overrides new old" 
     1.7 -      by (auto intro: overridesR.Direct) 
     1.8 +      by (auto intro: overridesR.Direct stat_override_declclasses_relation) 
     1.9    next
    1.10      case (Indirect inter new old)
    1.11      then show "?Overrides new old"