| Mon, 08 Nov 2004 16:53:50 +0100 | paulson | tidied comments | changeset | files |
| Fri, 05 Nov 2004 15:37:25 +0100 | schirmer | * extended interface of record_split_simp_tac and record_split_simproc | changeset | files |
| Tue, 02 Nov 2004 16:33:08 +0100 | chaieb | user-interface impoved | changeset | files |
| Fri, 29 Oct 2004 15:16:31 +0200 | paulson | fixed some awkward problems with nat/int simprocs | changeset | files |
| Fri, 29 Oct 2004 15:16:02 +0200 | paulson | fixed reference to renamed theorem | changeset | files |
| Thu, 28 Oct 2004 19:40:22 +0200 | webertj | isatool usedir: ML root file can now be specified (previously hard-coded as ROOT.ML) | changeset | files |
| Thu, 28 Oct 2004 17:11:51 +0200 | aspinall | Make <undostep> call undos_proof to display resulting proofstate. | changeset | files |
| Thu, 28 Oct 2004 11:58:22 +0200 | chaieb | efficienty improvement | changeset | files |