src/HOL/Tools/res_clause.ML
2005-10-05 ago improved process handling. tidied
2005-10-04 ago reset clause counter
2005-09-20 ago tidying, and support for axclass/classrel clauses
2005-09-15 ago massive tidy-up and simplification
2005-09-15 ago TableFun/Symtab: curried lookup and update;
2005-09-15 ago the experimental tagging system, and the usual tidying
2005-09-14 ago nice names for more infix operators
2005-09-09 ago Isabelle-ATP link: sortable axiom names; no spaces in switches; general tidying
2005-09-08 ago yet more tidying of Isabelle-ATP link
2005-09-07 ago axioms now included in tptp files, no /bin/cat and various tidying
2005-09-05 ago curried_lookup/update;
2005-09-02 ago further tidying up of Isabelle-ATP link
2005-09-02 ago fixed arities and restored changes that had gone missing
2005-08-26 ago DFG output now works for untyped rules (ML "ResClause.untyped();")
2005-08-01 ago Defs.monomorphic;
2005-07-28 ago uniform treatment of variable prefixes
2005-07-27 ago simpler variable names, and no types for monomorphic constants
2005-07-22 ago streamlined the tptp output
2005-07-13 ago tidied
2005-07-11 ago Fixed some problems with the signal handler.
2005-07-07 ago inserted basic relevance-checking code, WHICH ONLY WORKS FOR 1ST SUBGOAL
2005-06-03 ago no longer emits literals for type class HOL.type; also minor tidying
2005-05-23 ago Moved some of the clausify functions from ATP/res_clasimpset.ML to res_axioms.ML.
2005-05-12 ago theorem names for caching
2005-04-19 ago more tidying of libraries in Reconstruction
2005-03-22 ago ensuring that "equal" is not a function
2005-03-15 ago more concise ASCII escaping
2005-03-14 ago bug fixes involving typechecking clauses
2005-02-13 ago Deleted Library.option type.
2005-01-21 ago Jia Meng: delta simpsets and clasets
2004-12-09 ago Comments and other tweaks by Jia
2004-11-30 ago resolution package tools by Jia Meng