src/Pure/Syntax/syntax_ext.ML

       | dups => error ("Duplicate properties: " ^ commas_quote (map #1 dups) ^
           Position.here_list (map #2 (maps #2 dups))));
   in props end;
 
 val get_string = get_property "" I;
-val get_bool = get_property false Markup.parse_bool;
-val get_nat = get_property 0 Markup.parse_nat;
+val get_bool = get_property false Value.parse_bool;
+val get_nat = get_property 0 Value.parse_nat;
 
 end;
 
 
 (* read mixfix annotations *)