1.1 --- a/src/Tools/isac/xmlsrc/mathml.sml	Tue Jan 11 15:28:03 2011 +0100
     1.2 +++ b/src/Tools/isac/xmlsrc/mathml.sml	Mon Feb 21 19:40:36 2011 +0100
     1.3 @@ -24,7 +24,7 @@
     1.4  	  | dec ("<"::cs) = "&"::"l"::"t"::";"::(dec cs)
     1.5  	  | dec (">"::cs) = "&"::"g"::"t"::";"::(dec cs)
     1.6  	  | dec (c::cs) = c::(dec cs)
     1.7 -    in (implode o dec o explode) str:cterm' end;
     1.8 +    in (implode o dec o Symbol.explode) str:cterm' end;
     1.9  
    1.10  
    1.11  fun strs2xml strs = foldl (op ^) ("", strs);