Mon, 28 Oct 1996 12:55:24 +0100 | paulson | Changing from the Reveal to the Oops rule | changeset | files |
Sun, 27 Oct 1996 13:47:02 +0100 | nipkow | Simplifid proofs. | changeset | files |
Fri, 25 Oct 1996 15:02:09 +0200 | nipkow | Added (? x. t=x) = True | changeset | files |
Thu, 24 Oct 1996 11:41:43 +0200 | paulson | Documents the use of negative arguments to choplev and prlev | changeset | files |
Thu, 24 Oct 1996 10:43:38 +0200 | paulson | Changed comment to illustrate use of pathname | changeset | files |
Thu, 24 Oct 1996 10:42:42 +0200 | paulson | Allowing negative levels (as offsets) in prlev and choplev | changeset | files |
Thu, 24 Oct 1996 10:38:35 +0200 | paulson | New Oops message, with Server as source to ensure | changeset | files |