| Sun, 25 Jan 2004 00:42:22 +0100 | nipkow | Added an exception handler and error msg. | changeset | files |
| Tue, 20 Jan 2004 13:56:27 +0100 | schirmer | Added print translation for pairs | changeset | files |
| Tue, 20 Jan 2004 13:55:22 +0100 | schirmer | cleaning up | changeset | files |
| Wed, 14 Jan 2004 07:53:27 +0100 | kleing | print translation for ALL x <= n. P x | changeset | files |
| Wed, 14 Jan 2004 04:41:16 +0100 | nipkow | fixed old bugs in "decomp" (conversion from term to lin.arith. format). | changeset | files |
| Wed, 14 Jan 2004 00:13:04 +0100 | nipkow | Told linear arithmetic package about injections "real" from nat/int into real. | changeset | files |
| Tue, 13 Jan 2004 10:37:52 +0100 | paulson | types complex and hcomplex are now instances of class ringpower: | changeset | files |