1.1 --- a/src/Tools/isac/calcelems.sml	Sat Sep 25 16:49:33 2010 +0200
     1.2 +++ b/src/Tools/isac/calcelems.sml	Mon Sep 27 13:35:06 2010 +0200
     1.3 @@ -613,7 +613,7 @@
     1.4  fun terms2strs ts = (map term2str) ts;
     1.5  (*terms2strs [t1,t2] = ["1 + 2", "abc"];*)
     1.6  
     1.7 -un type2str typ = Syntax.string_of_typ (thy2ctxt' "Isac") typ;
     1.8 +fun type2str typ = Syntax.string_of_typ (thy2ctxt' "Isac") typ;
     1.9  val string_of_typ = type2str;
    1.10  
    1.11  fun subst2str (s:subst) =