1.1 --- a/test/Tools/isac/Knowledge/diophanteq.sml	Thu Mar 17 10:46:02 2011 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/diophanteq.sml	Fri Mar 18 09:26:03 2011 +0100
     1.3 @@ -47,11 +47,11 @@
     1.4    ["diophantine","equation"], ["Test","solve_diophant"]))];
     1.5  "----- step 1: returns nxt = Add_Given \"functionTerm (x ^^^ 2 + 1)\" ---";
     1.6  val (p,_,f,nxt,_,pt) = me nxt p c pt; 
     1.7 -val (p,_,f,nxt,_,pt) = me nxt p c pt; 
     1.8  (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
     1.9  val (p,_,f,nxt,_,pt) = me nxt p c pt; 
    1.10  val (p,_,f,nxt,_,pt) = me nxt p c pt; 
    1.11  val (p,_,f,nxt,_,pt) = me nxt p c pt; 
    1.12  val (p,_,f,nxt,_,pt) = me nxt p c pt; 
    1.13  val (p,_,f,nxt,_,pt) = me nxt p c pt; 
    1.14 +val (p,_,f,nxt,_,pt) = me nxt p c pt; 
    1.15  -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)