1.1 --- a/test/Tools/isac/Interpret/inform.sml	Thu Jul 11 16:59:05 2013 +0200
     1.2 +++ b/test/Tools/isac/Interpret/inform.sml	Fri Jul 12 06:39:55 2013 +0200
     1.3 @@ -1172,6 +1172,4 @@
     1.4    term2str f = "d_d x (x ^^^ 2) + cos (x ^^^ 4) * d_d x (x ^^^ 4)" andalso
     1.5    get_obj g_tac pt (fst p) = Rewrite_Inst (["(bdv, x)"], ("diff_sin_chain", ""))
     1.6  then () else error "inputFillFormula changed 11";
     1.7 -(*========== inhibit exn WN1130621 Isabelle2012-->13 !thehier! ====================
     1.8 -============ inhibit exn WN1130621 Isabelle2012-->13 !thehier! ==================*)
     1.9