1.1 --- a/test/Tools/isac/ProgLang/rewrite.sml	Thu Mar 10 16:04:00 2011 +0100
     1.2 +++ b/test/Tools/isac/ProgLang/rewrite.sml	Thu Mar 10 17:05:09 2011 +0100
     1.3 @@ -441,7 +441,6 @@
     1.4  val tm = str2term "(x^^^2 * x) is_multUnordered";
     1.5  eval_is_multUnordered "testid" "" tm thy;
     1.6  
     1.7 -(*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
     1.8  case eval_is_multUnordered "testid" "" tm thy of
     1.9      SOME (_, Const ("HOL.Trueprop", _) $ 
    1.10                     (Const ("HOL.eq", _) $
    1.11 @@ -525,4 +524,5 @@
    1.12      ([], true) => ()
    1.13    | _ => error "rewrite.sml: diff. is_multUnordered, eval__true";
    1.14  
    1.15 +(*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
    1.16  -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)