
diff -r 79136ce06bdb -r 58d147683393 src/HOL/Bali/Decl.thy
--- 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))))"
 	
 
 




