1.1 --- a/src/Tools/isac/Knowledge/DiffApp-scrpbl.sml	Thu Dec 22 11:12:18 2016 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/DiffApp-scrpbl.sml	Thu Dec 22 11:36:20 2016 +0100
     1.3 @@ -420,7 +420,7 @@
     1.4  val p = e_pos'; val c = []; 
     1.5  
     1.6  val (mI,m) = ("Init_Proof",Init_Proof (cts, (dI',pI',mI')));
     1.7 -val (pst as (sc,pt,cl):pstate) = (EmptyScr, e_ptree, []);
     1.8 +val (pst as (sc,pt,cl):pstate) = (EmptyScr, e_ctree, []);
     1.9  val (p,_,f,nxt,_,(_,pt,_)) = do_ (mI,m) p c pst;
    1.10  (*val nxt = ("Add_Given",Add_Given "fixedValues [R = R]")*)
    1.11