src/Pure/search.ML
1998-11-25 wenzelm 1998-11-25 replaced prs by writeln;
1998-10-23 oheimb 1998-10-23 added SOLVE tactical
1998-10-20 wenzelm 1998-10-20 QUIET_BREADTH_FIRST;
1997-11-21 wenzelm 1997-11-21 changed Sequence interface (now Seq, in seq.ML);
1997-07-22 paulson 1997-07-22 Removal of the tactical STATE
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