changeset 30235 | 58d147683393 |
parent 28524 | 644b62cf678f |
child 32960 | 69916a850301 |
--- a/src/HOL/Bali/Decl.thy Tue Mar 03 17:05:18 2009 +0100 +++ b/src/HOL/Bali/Decl.thy Wed Mar 04 10:47:20 2009 +0100 @@ -801,7 +801,7 @@ "imethds G I \<equiv> iface_rec (G,I) (\<lambda>I i ts. (Un_tables ts) \<oplus>\<oplus> - (o2s \<circ> table_of (map (\<lambda>(s,m). (s,I,m)) (imethods i))))" + (Option.set \<circ> table_of (map (\<lambda>(s,m). (s,I,m)) (imethods i))))"