1.1 --- a/test/Tools/isac/Knowledge/partial_fractions.sml	Tue Oct 11 15:41:44 2011 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/partial_fractions.sml	Tue Oct 11 16:43:02 2011 +0200
     1.3 @@ -7,6 +7,7 @@
     1.4  "table of contents --------------------------------------";
     1.5  "--------------------------------------------------------";
     1.6  "----------- why helpless here ? ------------------------";
     1.7 +"----------- why not nxt = Model_Problem here ? ---------";
     1.8  "--------------------------------------------------------";
     1.9  "--------------------------------------------------------";
    1.10  "--------------------------------------------------------";
    1.11 @@ -45,3 +46,7 @@
    1.12  (*WAS val ("helpless",_) = step p ((pt, e_pos'),[]) *)
    1.13  (*WAS val (p,_,f,nxt,_,pt) = me nxt p [] pt; "Empty_Tac instead SubProblem";*)
    1.14  
    1.15 +"----------- why not nxt = Model_Problem here ? ---------";
    1.16 +"----------- why not nxt = Model_Problem here ? ---------";
    1.17 +"----------- why not nxt = Model_Problem here ? ---------";
    1.18 +