--- 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