| Wed, 13 Jan 1999 12:16:34 +0100 | nipkow | Refined arithmetic. | changeset | files |
| Wed, 13 Jan 1999 12:08:51 +0100 | paulson | congruence rules finally use == instead of = and <-> | changeset | files |
| Wed, 13 Jan 1999 12:08:18 +0100 | paulson | generalized qed_spec_mp code to work for ZF | changeset | files |
| Wed, 13 Jan 1999 11:57:09 +0100 | paulson | datatype package improvements | changeset | files |
| Wed, 13 Jan 1999 11:56:28 +0100 | paulson | better qed_spec_mp | changeset | files |
| Wed, 13 Jan 1999 08:41:59 +0100 | nipkow | Simplified interface. | changeset | files |
| Wed, 13 Jan 1999 08:41:28 +0100 | nipkow | Simplified arithmetic. | changeset | files |