src/HOLCF/IOA/NTP/Impl.thy
Wed, 30 Apr 1997 11:25:31 +0200 mueller Old NTP files now running under the IOA meta theory based on HOLCF;
less more (0) tip