src/HOLCF/IOA/NTP/Receiver.thy
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-15 wenzelm 2001-11-15 GPLed;
1999-04-22 mueller 1999-04-22 put types into "" because of signature clash;
1997-10-13 wenzelm 1997-10-13 fixed dots;
1997-07-17 mueller 1997-07-17 changes needed for introducing fairness
1997-04-30 mueller 1997-04-30 Old NTP files now running under the IOA meta theory based on HOLCF;