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.
no longer loads Fun so that the Fun proofs can use equalities.thy
authorpaulson
Fri, 13 Nov 1998 13:27:03 +0100
changeset 5853 36b5559d8224
parent 5852 4d7320490be4
child 5854 1f72c4233a8b
no longer loads Fun so that the Fun proofs can use equalities.thy
src/HOL/subset.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/subset.thy	Fri Nov 13 13:26:16 1998 +0100
+++ b/src/HOL/subset.thy	Fri Nov 13 13:27:03 1998 +0100
@@ -4,4 +4,4 @@
     Copyright   1994  University of Cambridge
 *)
 
-subset = Fun
+subset = Set
isabelle