src/HOL/Tools/res_skolem_function.ML
2004-11-30 paulson 2004-11-30 resolution package tools by Jia Meng