src/HOL/NSA/Filter.thy
changeset 41589 bbd861837ebc
parent 36176 3fe7e97ccca8
child 41959 b460124855b8
--- a/src/HOL/NSA/Filter.thy	Sun Jan 16 15:31:22 2011 +0100
+++ b/src/HOL/NSA/Filter.thy	Sun Jan 16 15:53:03 2011 +0100
@@ -1,9 +1,7 @@
-(*  Title       : Filter.thy
-    ID          : $Id$
-    Author      : Jacques D. Fleuriot
-    Copyright   : 1998  University of Cambridge
-    Conversion to Isar and new proofs by Lawrence C Paulson, 2004
-    Conversion to locales by Brian Huffman, 2005
+(*  Title:      Filter.thy
+    Author:     Jacques D. Fleuriot, University of Cambridge
+    Author:     Lawrence C Paulson
+    Author:     Brian Huffman
 *) 
 
 header {* Filters and Ultrafilters *}