Fri, 02 Oct 1998 14:28:39 +0200 | nipkow | id <-> Id | changeset | files |
Fri, 02 Oct 1998 10:44:20 +0200 | paulson | added Real to BasisLibrary | changeset | files |
Fri, 02 Oct 1998 10:43:08 +0200 | paulson | new file Provers/Arith/abel_cancel.ML | changeset | files |