118 ML {* print_depth 40; *} |
118 ML {* print_depth 40; *} |
119 ML {* val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; *} |
119 ML {* val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; *} |
120 ML {* val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; *} |
120 ML {* val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; *} |
121 ML {* val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; *} |
121 ML {* val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; *} |
122 ML {* val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; *} |
122 ML {* val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; *} |
|
123 ML {* print_depth 3; *} |
123 text{* And, please, note that the result of applying the 'nxt' ruleset is to be |
124 text{* And, please, note that the result of applying the 'nxt' ruleset is to be |
124 found in the output of the next step ! |
125 found in the output of the next step ! |
125 *} |
126 *} |
126 |
127 |
127 section {* Completing the example problem *} |
128 section {* Completing the example problem *} |