1.1 --- a/src/Tools/isac/BridgeLibisabelle/mathml.sml	Sun Oct 09 09:01:29 2022 +0200
     1.2 +++ b/src/Tools/isac/BridgeLibisabelle/mathml.sml	Wed Oct 19 10:43:04 2022 +0200
     1.3 @@ -67,7 +67,7 @@
     1.4      indt (j+i) ^ "<MATHML>\n" ^ 
     1.5      indt (j+2*i) ^ "<ISA> " ^ (decode o UnparseC.term) t ^ " </ISA>\n" ^
     1.6      indt (j+i) ^ "</MATHML>";
     1.7 -(*val t = str2term "equality e_";
     1.8 +(*val t = TermC.parse_test @{context} "equality e_";
     1.9    writeln (term2xml 8 t);
    1.10            <MATHML>
    1.11              <ISA> equality e_ </ISA>