Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Now also depends upon equalities.thy, allowing use of the
authorlcp
Thu, 12 Jan 1995 03:03:25 +0100
changeset 856 a05e2b5f24c4
parent 855 4c8d0ece1f95
child 857 f5314a7c93f2
Now also depends upon equalities.thy, allowing use of the equalities in standard simpsets.
src/ZF/simpdata.thy file | annotate | diff | comparison | revisions 
--- 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"
+
isabelle