1.1 --- a/test/Tools/isac/Test_Isac.thy	Sun May 15 13:59:05 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Tue May 17 09:55:30 2011 +0200
     1.3 @@ -183,6 +183,16 @@
     1.4    ML {*"%%%%%%%%%%%%%%%%% all tests successful %%%%%%%%%%%%%%%%%";*}
     1.5    ML {*"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";*}
     1.6  
     1.7 +ML {*
     1.8 +val am = [];
     1.9 +insert_assumptions am
    1.10 +*}
    1.11 +ML {*
    1.12 +get_ctxt pt p |> insert_assumptions am
    1.13 +*}
    1.14 +ML {*
    1.15 +from_pblobj_or_detail'
    1.16 +*}
    1.17  end
    1.18  
    1.19  (*=== inhibit exn ?=============================================================