--- 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
changeset 5853	36b5559d8224
parent 1475	7f5a4cd08209
child 7705	222b715b5d24