src/Pure/search.ML
1997-04-02 paulson 1997-04-02 DEEPEN now takes an upper bound for terminating searches
1997-02-21 paulson 1997-02-21 Replaced "flat" by the Basis Library function List.concat
1996-11-01 paulson 1996-11-01 Replaced min by Int.min
1996-03-18 paulson 1996-03-18 New file containing search tacticals