| Wed, 13 Jul 2005 16:07:29 +0200 | wenzelm | added subtract; | changeset | files |
| Wed, 13 Jul 2005 16:07:28 +0200 | wenzelm | export eq_rrule; | changeset | files |
| Wed, 13 Jul 2005 16:07:27 +0200 | wenzelm | removed obsolete delta stuff; | changeset | files |
| Wed, 13 Jul 2005 16:07:26 +0200 | wenzelm | open ReconPrelim Recon_Transfer; | changeset | files |
| Wed, 13 Jul 2005 16:07:25 +0200 | wenzelm | open ReconPrelim ReconTranslateProof; | changeset | files |
| Wed, 13 Jul 2005 16:07:24 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 13 Jul 2005 16:07:23 +0200 | wenzelm | use Toplevel.print_state_hook instead of adhoc Proof.atp_hook; | changeset | files |
| Wed, 13 Jul 2005 16:07:22 +0200 | wenzelm | tuned concat_with_and; | changeset | files |
| Wed, 13 Jul 2005 16:07:21 +0200 | wenzelm | improved Net interface; | changeset | files |
| Wed, 13 Jul 2005 16:07:18 +0200 | wenzelm | * Isar session: The initial use of ROOT.ML is now always timed; | changeset | files |
| Wed, 13 Jul 2005 15:25:05 +0200 | aspinall | Add acceptedpgipelems message | changeset | files |
| Wed, 13 Jul 2005 15:19:13 +0200 | paulson | auto update | changeset | files |
| Wed, 13 Jul 2005 15:06:20 +0200 | paulson | generlization of some "nat" theorems | changeset | files |
| Wed, 13 Jul 2005 15:06:04 +0200 | paulson | relevance filtering is now optional | changeset | files |
| Wed, 13 Jul 2005 15:05:48 +0200 | paulson | tidied | changeset | files |
| Wed, 13 Jul 2005 14:56:00 +0200 | wenzelm | fixed comment-out; | changeset | files |