1.1 --- a/test/Tools/isac/ADDTESTS/All_Ctxt.thy	Fri May 27 11:47:36 2011 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/All_Ctxt.thy	Fri May 27 12:02:29 2011 +0200
     1.3 @@ -1,3 +1,4 @@
     1.4 +
     1.5  theory All_Ctxt imports Isac begin
     1.6  
     1.7  text {* all changes of context are demonstrated in a mini example.
     1.8 @@ -11,6 +12,7 @@
     1.9      ("Test", ["sqroot-test","univariate","equation","test"],
    1.10       ["Test","squ-equ-test-subpbl1"]);
    1.11    val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.12 +  show_pt pt;
    1.13  *}
    1.14  
    1.15  section {* start of specify phase *}