1.1 --- a/test/Tools/isac/Test_Isac.thy	Fri May 13 17:19:38 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Sun May 15 10:25:42 2011 +0200
     1.3 @@ -132,6 +132,9 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = ("End_Proof'" *);
     1.5  -----*)
     1.6  *}
     1.7 +ML {*
     1.8 +(*is_empty*)
     1.9 +*}
    1.10    use "Minisubpbl/400-start-meth-subpbl.sml"
    1.11    use "Minisubpbl/500-postcond.sml"
    1.12    ML {*"%%%%%%%%%%%%%%%%% end Minisubpbl %%%%%%%%%%%%%%%%%%%%%%%";*}