Mon, 18 Dec 2000 14:57:34 +0100 | nipkow | towards rtional arithmetic | changeset | files |
Mon, 18 Dec 2000 12:23:54 +0100 | paulson | tidying and adding new proofs | changeset | files |
Mon, 18 Dec 2000 12:21:54 +0100 | paulson | loads the new simproc extract_common_term | changeset | files |