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