--- a/src/Pure/ProofGeneral/pgip_types.ML Fri Dec 22 21:00:55 2006 +0100
+++ b/src/Pure/ProofGeneral/pgip_types.ML Wed Dec 27 16:18:07 2006 +0100
@@ -115,9 +115,9 @@
(** XML utils **)
-fun has_attr attr attrs = AList.defined (op =) attrs attr
+fun has_attr (attr : string) attrs = AList.defined (op =) attrs attr
-fun get_attr_opt attr attrs = AList.lookup (op =) attrs attr
+fun get_attr_opt (attr : string) attrs = AList.lookup (op =) attrs attr
fun get_attr attr attrs =
(case get_attr_opt attr attrs of
@@ -134,7 +134,7 @@
the_default [] (Option.map (single o (pair attr_name) o f) opt_val)
*)
-val opt_attr = opt_attr_map I
+fun opt_attr attr_name = opt_attr_map I attr_name
(** Objtypes **)