1.1 --- a/doc-isac/mat-eng.sml	Mon Oct 31 18:28:36 2022 +0100
     1.2 +++ b/doc-isac/mat-eng.sml	Mon Nov 07 17:37:20 2022 +0100
     1.3 @@ -216,7 +216,7 @@
     1.4   HOL.thy;
     1.5   "HOL.thy" : theory';
     1.6   sqrt_right;
     1.7 - "sqrt_right" : rew_ord';
     1.8 + "sqrt_right" : rew_ord;
     1.9   eval_rls;
    1.10   "eval_rls" : rls';
    1.11   diff_sum;