src/HOL/Tools/res_atpset.ML
Thu, 02 Mar 2006 00:57:34 +0100 mengj Added in a signature.
Wed, 01 Mar 2006 05:56:53 +0100 mengj A new file that sets up rules set used by ATPs. Rules are added to and removed from the set using "atp" attribute.
less more (0) tip