# HG changeset patch
# User paulson
# Date 972315339 -7200
# Node ID ab5617c3cefbc344d1136dbdb246b92068a5cac1
# Parent  0c5907082459d4ab2c409ad5af3e13fa58f1c723
goodbye to this dummy file

diff -r 0c5907082459 -r ab5617c3cefb doc-src/TutorialI/sets.tex
--- a/doc-src/TutorialI/sets.tex	Mon Oct 23 17:35:17 2000 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,3 +0,0 @@
-\chapter{Sets, Functions and Relations}
-
-\input{CTL/ctl}
\ No newline at end of file