1.1 --- a/test/Tools/isac/Interpret/inform.sml	Fri Jun 21 08:06:50 2013 +0200
     1.2 +++ b/test/Tools/isac/Interpret/inform.sml	Fri Jun 21 11:19:18 2013 +0200
     1.3 @@ -894,6 +894,7 @@
     1.4  
     1.5  "--------- embed fun check_error_patterns ------------------------";
     1.6  "--------- embed fun check_error_patterns ------------------------";
     1.7 +(*========== inhibit exn WN1130621 Isabelle2012-->13 !thehier! ====================
     1.8  "--------- embed fun check_error_patterns ------------------------";
     1.9  states:=[];
    1.10  CalcTree
    1.11 @@ -1116,4 +1117,5 @@
    1.12    term2str f = "d_d x (x ^^^ 2) + cos (x ^^^ 4) * d_d x (x ^^^ 4)" andalso
    1.13    get_obj g_tac pt (fst p) = Rewrite_Inst (["(bdv, x)"], ("diff_sin_chain", ""))
    1.14  then () else error "inputFillFormula changed 11";
    1.15 +============ inhibit exn WN1130621 Isabelle2012-->13 !thehier! ==================*)
    1.16