diff -r 113c1cd7a164 -r 8213fd95acb5 src/ZF/simpdata.thy
--- a/src/ZF/simpdata.thy	Thu Nov 15 16:48:05 2001 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-(*Dummy theory to document dependencies *)
-
-simpdata = "equalities" + "func"
-