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