--- a/Nominal/nominal_function_common.ML	Mon Jun 06 13:11:04 2011 +0100
+++ b/Nominal/nominal_function_common.ML	Tue Jun 07 08:52:59 2011 +0100
@@ -1,6 +1,9 @@
 (*  Nominal Function Common
     Author: Christian Urban
 
+    heavily based on the code of Alexander Krauss
+    (code forked on 5 June 2011)
+
 Common definitions and other infrastructure for the function package.
 *)
 
@@ -350,7 +353,7 @@
 
   fun config_parser default =
     (Scan.optional (Parse.$$$ "(" |-- Parse.!!! (Parse.list1 option_parser) --| Parse.$$$ ")") [])
-     >> (fn opts => fold apply_opt opts default)
+     >> (fn opts => fold Nominal_Function_Common.apply_opt opts default)
 in
   fun function_parser default_cfg =
       config_parser default_cfg -- Parse.fixes -- Parse_Spec.where_alt_specs