diff -r 028442673981 -r 351a9e94c38d src/Tools/isac/Knowledge/Test.sml
--- a/src/Tools/isac/Knowledge/Test.sml	Wed Sep 08 16:47:22 2010 +0200
+++ b/src/Tools/isac/Knowledge/Test.sml	Wed Sep 08 16:54:15 2010 +0200
@@ -12,28 +12,28 @@
 
 val ttt = (term_of o the o (parse thy))
  "Script Solve_linear (e_e::bool) (v_v::real)=             \
- \[e_]";
+ \[e_e]";
 val ttt = (term_of o the o (parse thy))
  "Script Solve_linear (e_e::bool) (v_v::real)=             \
- \((%e_. [e_]) e_e)";
+ \((%e_. [e_e]) e_e)";
 val ttt = (term_of o the o (parse thy))
  "Script Solve_linear (e_e::bool) (v_v::real)=             \
- \((%e_. (let e_e = e_e in [e_])) e_e)";
+ \((%e_. (let e_e = e_e in [e_e])) e_e)";
 val ttt = (term_of o the o (parse thy))
  "Script Solve_linear (e_e::bool) (v_v::real)=             \
  \((%e_. \
  \  (let e_e = ((Rewrite_Set SqRoot_simplify False) e_e)\
- \   in [e_]))\
+ \   in [e_e]))\
  \  e_e)";
 val ttt = (term_of o the o (parse thy))
  "Script Solve_linear (e_e::bool) (v_v::real)=             \
- \((%ee_. (let e_e = ((Rewrite_Set SqRoot_simplify False) ee_) in [e_])) e_e)";
+ \((%ee_. (let e_e = ((Rewrite_Set SqRoot_simplify False) ee_) in [e_e])) e_e)";
 
 val ttt = (term_of o the o (parse thy))
  "Script Solve_linear (e_e::bool) (v_v::real)=             \
  \(let e_e = \
  \   (Repeat ((Rewrite_Set_Inst [(bdv,v_v::real)] isolate_bdv False)) e_e)\
- \ in [e_])";
+ \ in [e_e])";
 (*----*)
 val ttt = (term_of o the o (parse thy))
 
@@ -45,7 +45,7 @@
  \    ((%ee_. (Rewrite_Set_Inst [(bdv,v_v::real)] isolate_bdv False) ee_)\
  \      e_e)\
  \    e_e)\
- \ in [e_])";
+ \ in [e_e])";
 val ttt = (term_of o the o (parse thy))
  "Script Solve_linear (e_e::bool) (v_v::real)=             \
  \(let e_e = \
@@ -54,7 +54,7 @@
  \        ((Rewrite_Set_Inst [(bdv,v_v::real)] isolate_bdv False) ee_))\
  \      e_e)\
  \    e_e)\
- \ in [e_])";
+ \ in [e_e])";
 val ttt = (term_of o the o (parse thy))
  "Script Solve_linear (e_e::bool) (v_v::real)=             \
  \(let e_e = \
@@ -64,7 +64,7 @@
  \         in ((Rewrite_Set SqRoot_simplify False) e_e)) )\
  \      e_e)\
  \    e_e)\
- \ in [e_])";
+ \ in [e_e])";
 atomty ttt;
 atomt ttt;
 
@@ -123,7 +123,7 @@
  \  ((Repeat\
  \    (((Rewrite_Set_Inst [(bdv,v_v::real)] isolate_bdv False) @@\
  \      (Rewrite_Set SqRoot_simplify False)))) e_e)\
- \ in [e_])";
+ \ in [e_e])";
 atomty ttt;