| Thu, 23 Mar 2006 10:05:03 +0100 | paulson | detection of definitions of relevant constants | changeset | files |
| Thu, 23 Mar 2006 06:18:38 +0100 | mengj | Only display atpset theorems if Output.show_debug_msgs is true. | changeset | files |
| Wed, 22 Mar 2006 18:09:35 +0100 | urbanc | added the first two simple proofs of the recursion | changeset | files |