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