1.1 --- a/doc-isac/mat-eng.sml	Wed Nov 29 07:51:28 2023 +0100
     1.2 +++ b/doc-isac/mat-eng.sml	Thu Nov 30 08:11:50 2023 +0100
     1.3 @@ -416,10 +416,10 @@
     1.4   ?val fmz = ["equality (#1 + #2 * x = #0)",
     1.5   	    "solveFor x",
     1.6   	    "solutions L"] : fmz;
     1.7 - match_pbl;
     1.8 - ?match_pbl fmz (get_pbt ["univariate","equation"]);
     1.9 - ?match_pbl fmz (get_pbt ["linear","univariate","equation"]);
    1.10 - ?match_pbl fmz (get_pbt ["squareroot","univariate","equation"]);
    1.11 + by_formalise;
    1.12 + ?by_formalise fmz (get_pbt ["univariate","equation"]);
    1.13 + ?by_formalise fmz (get_pbt ["linear","univariate","equation"]);
    1.14 + ?by_formalise fmz (get_pbt ["squareroot","univariate","equation"]);
    1.15  
    1.16  (*5.5. Refine a problem specification *)
    1.17   refine;