Tue, 24 Sep 1996 13:53:18 +0200 | paulson | Added miniscoping for UN and INT | changeset | files |
Tue, 24 Sep 1996 13:51:10 +0200 | paulson | Restoration of reference to Nipkow, LICS, 1993 | changeset | files |
Tue, 24 Sep 1996 09:02:34 +0200 | nipkow | Moved Option out of IOA into core HOL | changeset | files |