src/HOL/Tools/res_lib.ML
2005-03-11 webertj 2005-03-11 code reformatted
2004-11-30 paulson 2004-11-30 resolution package tools by Jia Meng