1.1 --- a/doc-isac/mat-eng.sml	Sun Oct 09 07:44:22 2022 +0200
     1.2 +++ b/doc-isac/mat-eng.sml	Sun Oct 09 09:01:29 2022 +0200
     1.3 @@ -3,8 +3,8 @@
     1.4  
     1.5  (*2.2. *)
     1.6  "a + b * 3";
     1.7 -str2term "a + b * 3";
     1.8 -val term = str2term "a + b * 3";
     1.9 +TermC.parse_test @{context} "a + b * 3";
    1.10 +val term = TermC.parse_test @{context} "a + b * 3";
    1.11  atomt term;
    1.12  atomty term;
    1.13