--- a/src/HOL/NSA/Filter.thy Sun Mar 13 22:24:10 2011 +0100
+++ b/src/HOL/NSA/Filter.thy Sun Mar 13 22:55:50 2011 +0100
@@ -1,4 +1,4 @@
-(* Title: Filter.thy
+(* Title: HOL/NSA/Filter.thy
Author: Jacques D. Fleuriot, University of Cambridge
Author: Lawrence C Paulson
Author: Brian Huffman