src/HOL/Bali/DeclConcepts.thy
changeset 46714 a7ca72710dfe
parent 45471 489f27dcc0f4
child 55518 1ddb2edf5ceb
     1.1 --- a/src/HOL/Bali/DeclConcepts.thy	Mon Feb 27 17:39:34 2012 +0100
     1.2 +++ b/src/HOL/Bali/DeclConcepts.thy	Mon Feb 27 17:40:59 2012 +0100
     1.3 @@ -2241,7 +2241,7 @@
     1.4    \<Longrightarrow> table_of (fields G C) (fn, declclass f) = Some (fld f)"
     1.5  apply (simp only: accfield_def Let_def)
     1.6  apply (rule table_of_remap_SomeD)
     1.7 -apply (auto dest: filter_tab_SomeD)
     1.8 +apply auto
     1.9  done
    1.10  
    1.11