| Thu, 03 Apr 1997 10:30:23 +0200 | paulson | Declares overloading for if-and-only-if | changeset | files |
| Thu, 03 Apr 1997 10:29:57 +0200 | paulson | Declares overloading for set-theoretic constants | changeset | files |
| Thu, 03 Apr 1997 09:46:42 +0200 | nipkow | Removed (Unit) in Prod. | changeset | files |