# HG changeset patch
# User lcp
# Date 789876205 -3600
# Node ID a05e2b5f24c455763bc36afc27c69f679806c333
# Parent  4c8d0ece1f958bb0c81777233d6fcc669bf6cfa3
Now also depends upon equalities.thy, allowing use of the
equalities in standard simpsets.

diff -r 4c8d0ece1f95 -r a05e2b5f24c4 src/ZF/simpdata.thy
--- a/src/ZF/simpdata.thy	Thu Jan 12 03:03:07 1995 +0100
+++ b/src/ZF/simpdata.thy	Thu Jan 12 03:03:25 1995 +0100
@@ -1,3 +1,4 @@
 (*Dummy theory to document dependencies *)
 
-simpdata = "func"
+simpdata = "equalities" + "func"
+