diff -r 2b26acbd130c -r c477d0f79ab9 test/Tools/isac/OLDTESTS/scriptnew.sml
--- a/test/Tools/isac/OLDTESTS/scriptnew.sml	Mon Dec 07 11:32:12 2015 +0100
+++ b/test/Tools/isac/OLDTESTS/scriptnew.sml	Mon Dec 07 14:10:59 2015 +0100
@@ -483,7 +483,7 @@
 
 
 (*GoOn.5.03. script with Map, Subst (biquadr.equ.)
-val scr = Prog (((inst_abs thy) o term_of o the o (parse thy))
+val scr = Prog (((inst_abs thy) o Thm.term_of o the o (parse thy))
     "Script Biquadrat_poly (e_e::bool) (v_::real) =                       \
     \(let e_e = Substitute [(v_^^^4, v_0_^^^2),(v_^^^2, v_0_)] e_;        \ 
     \     L_0_ = (SubProblem (PolyEq_,[univariate,equation], [no_met])   \