src/Pure/search.ML
1996-03-18 paulson 1996-03-18 New file containing search tacticals