src/HOL/Tools/res_clause.ML
2005-03-22 paulson 2005-03-22 ensuring that "equal" is not a function
2005-03-15 paulson 2005-03-15 more concise ASCII escaping
2005-03-14 paulson 2005-03-14 bug fixes involving typechecking clauses
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2005-01-21 paulson 2005-01-21 Jia Meng: delta simpsets and clasets
2004-12-09 paulson 2004-12-09 Comments and other tweaks by Jia
2004-11-30 paulson 2004-11-30 resolution package tools by Jia Meng