src/HOL/Tools/res_atpset.ML
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.