1.1 --- a/src/Tools/isac/calcelems.sml	Tue Jun 09 09:41:53 2015 +0200
     1.2 +++ b/src/Tools/isac/calcelems.sml	Tue Jun 09 13:08:07 2015 +0200
     1.3 @@ -49,7 +49,10 @@
     1.4  type guh = string;
     1.5  val e_guh = "e_guh":guh;
     1.6  
     1.7 -type xml = string;
     1.8 +type xml = string; (* rm together with old code replaced by XML.tree *)
     1.9 +fun string_to_bool "true" = true
    1.10 +  | string_to_bool "false" = false
    1.11 +  | string_to_bool str = error ("string_to_bool: arg = " ^ str)
    1.12  
    1.13  (* eval function calling sml code during rewriting.
    1.14  Unifying "type cal" and "type calc" would make Lucas-Interpretation more efficient,