src/Pure/search.ML
1996-11-01 paulson 1996-11-01 Replaced min by Int.min
1996-03-18 paulson 1996-03-18 New file containing search tacticals