src/Pure/Isar/find_consts.ML
2009-02-13 kleing 2009-02-13 find_consts: display the search criteria. (by Timothy Bourke)
2009-02-13 kleing 2009-02-13 added ML file for the find_consts command