| Thu, 23 Nov 2006 22:38:30 +0100 | wenzelm | prefer Proof.context over Context.generic; | file | diff | annotate |
| Thu, 28 Sep 2006 23:42:49 +0200 | wenzelm | removed legacy code; | file | diff | annotate |
| Fri, 15 Sep 2006 22:56:08 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 02 Mar 2006 00:57:34 +0100 | mengj | Added in a signature. | file | diff | annotate |
| 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. | file | diff | annotate |