| Fri, 11 Jul 2003 14:11:56 +0200 | oheimb | added rev_ballE | changeset | files |
| Fri, 11 Jul 2003 13:54:32 +0200 | oheimb | re-introduced sort constraints on LHS | changeset | files |
| Fri, 11 Jul 2003 13:54:26 +0200 | oheimb | corrected markup text | changeset | files |
| Thu, 10 Jul 2003 17:14:41 +0200 | paulson | Changed many Intersection rules from i:I to I~=0 to avoid introducing a new | changeset | files |
| Wed, 09 Jul 2003 12:41:47 +0200 | paulson | ~= to neq | changeset | files |
| Wed, 09 Jul 2003 11:39:34 +0200 | paulson | converting more theories to Isar scripts, and tidying | changeset | files |
| Tue, 08 Jul 2003 11:44:30 +0200 | paulson | Conversion of ZF/UNITY/{FP,Union} to Isar script. | changeset | files |
| Mon, 07 Jul 2003 17:58:21 +0200 | nipkow | A patch by david aspinall | changeset | files |