--- a/doc-src/TutorialI/Sets/sets.tex Mon May 02 22:19:28 2011 +0200
+++ b/doc-src/TutorialI/Sets/sets.tex Mon May 02 22:31:46 2011 +0200
@@ -1,4 +1,3 @@
-% $Id$
\chapter{Sets, Functions and Relations}
This chapter describes the formalization of typed set theory, which is