Tue, 24 Sep 1996 13:54:27 +0200 | paulson | Fixed spelling error in comment | changeset | files |
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 |