1.1 --- a/test/Tools/isac/ADDTESTS/course/phst11/T3_MathEngine.thy	Mon Sep 02 15:17:34 2013 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/phst11/T3_MathEngine.thy	Mon Sep 02 16:16:08 2013 +0200
     1.3 @@ -120,6 +120,7 @@
     1.4  ML {* val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; *}
     1.5  ML {* val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; *}
     1.6  ML {* val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; *}
     1.7 +ML {* print_depth 3; *}
     1.8  text{* And, please, note that the result of applying the 'nxt' ruleset is to be
     1.9    found in the output of the next step !
    1.10  *}