| Tue, 12 Oct 2004 16:59:56 +0200 | nipkow | *** empty log message *** | changeset | files |
| Tue, 12 Oct 2004 11:48:21 +0200 | paulson | tweaks concerned with poly bug-fixing | changeset | files |
| Mon, 11 Oct 2004 19:36:48 +0200 | berghofe | Replaced the_context() by theory "Presburger" in call of invoke_oracle. | changeset | files |
| Mon, 11 Oct 2004 16:47:50 +0200 | berghofe | Tuned some proofs. | changeset | files |
| Mon, 11 Oct 2004 10:52:18 +0200 | berghofe | Added entry in Settings menu for Toplevel.skip_proofs flag. | changeset | files |
| Mon, 11 Oct 2004 10:51:19 +0200 | berghofe | Some changes to allow skipping of proof scripts. | changeset | files |
| Mon, 11 Oct 2004 07:42:22 +0200 | nipkow | Proofs needed to be updated because induction now preserves name of | changeset | files |