diff -r b7071d1dd263 -r 007ef64dbb08 doc-isac/mat-eng.sml
--- a/doc-isac/mat-eng.sml	Mon Oct 31 18:28:36 2022 +0100
+++ b/doc-isac/mat-eng.sml	Mon Nov 07 17:37:20 2022 +0100
@@ -216,7 +216,7 @@
  HOL.thy;
  "HOL.thy" : theory';
  sqrt_right;
- "sqrt_right" : rew_ord';
+ "sqrt_right" : rew_ord;
  eval_rls;
  "eval_rls" : rls';
  diff_sum;