1.1 --- a/test/Tools/isac/ProgLang/rewrite.sml	Thu Jul 28 10:58:17 2011 +0200
     1.2 +++ b/test/Tools/isac/ProgLang/rewrite.sml	Thu Jul 28 11:22:54 2011 +0200
     1.3 @@ -117,7 +117,7 @@
     1.4  "----------- conditional rewriting without Isac's thys --";
     1.5  "----------- conditional rewriting without Isac's thys --";
     1.6  "----------- conditional rewriting without Isac's thys --";
     1.7 -(*ML {*)
     1.8 +
     1.9  "===== prepr cond.rew. with Pattern.match";
    1.10  val thy = @{theory Complex_Main};
    1.11  val ctxt = @{context};