src/HOLCF/IOA/NTP/Multiset.thy
2000-10-12 nipkow 2000-10-12 *** empty log message ***
1997-10-13 wenzelm 1997-10-13 fixed dots;
1997-04-30 mueller 1997-04-30 Old NTP files now running under the IOA meta theory based on HOLCF;