--- a/src/HOLCF/IOA/meta_theory/ioa_package.ML Thu Mar 05 08:23:10 2009 +0100
+++ b/src/HOLCF/IOA/meta_theory/ioa_package.ML Thu Mar 05 08:23:11 2009 +0100
@@ -159,7 +159,8 @@
(constructor_head thy atypstr a)::(constructor_head_list thy atypstr r);
(* producing an action set *)
-fun action_set_string thy atyp [] = "{}" |
+(*FIXME*)
+fun action_set_string thy atyp [] = "Set.empty" |
action_set_string thy atyp [a] = constr_set_string thy atyp (strip_quote a) |
action_set_string thy atyp (a::r) = (constr_set_string thy atyp (strip_quote a)) ^
" Un " ^ (action_set_string thy atyp r);