--- a/src/ZF/Induct/Multiset.thy Sat Dec 29 18:35:27 2001 +0100
+++ b/src/ZF/Induct/Multiset.thy Sat Dec 29 18:36:12 2001 +0100
@@ -1,4 +1,4 @@
-(* Title: ZF/UNITY/Multiset.thy
+(* Title: ZF/Induct/Multiset.thy
ID: $Id$
Author: Sidi O Ehmety, Cambridge University Computer Laboratory