src/HOL/Tools/res_axioms.ML
2005-04-08 paulson 2005-04-08 Reconstruction code, now packaged to avoid name clashes
2005-03-31 quigley 2005-03-31 *** empty log message ***
2005-03-14 paulson 2005-03-14 bug fixes involving typechecking clauses
2005-03-07 paulson 2005-03-07 Tools/meson.ML: signature, structure and "open" rather than "local"
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2005-02-04 paulson 2005-02-04 clausification and proof reconstruction
2005-02-03 paulson 2005-02-03 new treatment of demodulation in proof reconstruction
2004-12-09 paulson 2004-12-09 Comments and other tweaks by Jia
2004-12-03 paulson 2004-12-03 fixes to clause conversion
2004-12-03 paulson 2004-12-03 trying to fix the transfer problem
2004-12-02 paulson 2004-12-02 new CLAUSIFY attribute for proof reconstruction with lemmas
2004-11-30 paulson 2004-11-30 resolution package tools by Jia Meng