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