src/HOL/Tools/res_atp.ML
2005-04-12 paulson 2005-04-12 tweaks mainly to achieve sml/nj compatibility
2005-04-11 paulson 2005-04-11 removal of Main and other tidying up
2005-04-07 paulson 2005-04-07 removed bad code
2005-04-07 quigley 2005-04-07 Integrating the reconstruction files into the building of HOL
2005-04-05 quigley 2005-04-05 Current version of res_atp.ML - causes an error when I run it. C.Q.
2005-04-04 quigley 2005-04-04 Updated to add watcher code.
2005-03-31 quigley 2005-03-31 *** empty log message ***
2005-03-14 paulson 2005-03-14 bug fixes involving typechecking clauses
2005-03-11 webertj 2005-03-11 code reformatted
2005-03-04 paulson 2005-03-04 removed dead code
2005-01-21 paulson 2005-01-21 Jia Meng: delta simpsets and clasets
2004-11-30 paulson 2004-11-30 resolution package tools by Jia Meng