src/HOL/Tools/res_atpset.ML
2006-11-23 wenzelm 2006-11-23 prefer Proof.context over Context.generic;
2006-09-28 wenzelm 2006-09-28 removed legacy code; tuned;
2006-09-15 wenzelm 2006-09-15 tuned;
2006-03-02 mengj 2006-03-02 Added in a signature.
2006-03-01 mengj 2006-03-01 A new file that sets up rules set used by ATPs. Rules are added to and removed from the set using "atp" attribute.