1.1 --- a/src/sml/ROOT.ML	Sat Mar 05 18:08:56 2005 +0100
     1.2 +++ b/src/sml/ROOT.ML	Sat Mar 05 18:08:56 2005 +0100
     1.3 @@ -72,9 +72,9 @@
     1.4  ############## unten: (*systest/ctree.sml*) wegen cut_tree in ME/ctree !!!
     1.5  *)
     1.6  
     1.7 -  val version_kernel = "sml-050217a-fetchApplicableTactics";
     1.8 +  val version_kernel = "sml-050305d-cut_tree";
     1.9  
    1.10 -  print_depth 3; 
    1.11 +  print_depth 3;
    1.12  
    1.13  (*----- Isabelle2003/src/Pure/library.ML overwritten by later Isa-code*)
    1.14  fun find_first _ [] = None