--- a/src/HOLCF/IOA/NTP/Multiset.thy Wed Feb 17 09:22:40 2010 -0800 +++ b/src/HOLCF/IOA/NTP/Multiset.thy Wed Feb 17 10:00:22 2010 -0800 @@ -1,5 +1,4 @@ (* Title: HOL/IOA/NTP/Multiset.thy - ID: $Id$ Author: Tobias Nipkow & Konrad Slind *)