--- a/src/HOL/MicroJava/BV/Listn.thy Sun Dec 16 00:17:18 2001 +0100
+++ b/src/HOL/MicroJava/BV/Listn.thy Sun Dec 16 00:17:44 2001 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/BCV/Listn.thy
+(* Title: HOL/MicroJava/BV/Listn.thy
ID: $Id$
Author: Tobias Nipkow
Copyright 2000 TUM