diff -r 53716a67c3b1 -r a0e57fb1b930 src/CCL/Set.thy --- a/src/CCL/Set.thy Thu Jul 23 20:05:20 2009 +0200 +++ b/src/CCL/Set.thy Thu Jul 23 21:59:56 2009 +0200 @@ -1,7 +1,3 @@ -(* Title: CCL/Set.thy - ID: $Id$ -*) - header {* Extending FOL by a modified version of HOL set theory *} theory Set