Mon, 07 Oct 1996 10:55:51 +0200 | paulson | Simple tidying | changeset | files |
Mon, 07 Oct 1996 10:47:01 +0200 | paulson | New proof required by change to simpdata.ML | changeset | files |
Mon, 07 Oct 1996 10:43:40 +0200 | paulson | Now replaces shorthand commands even if indented | changeset | files |