Tools/typedef_package.ML;

--- a/src/HOL/subset.thy	Mon Oct 04 21:46:13 1999 +0200
+++ b/src/HOL/subset.thy	Mon Oct 04 21:46:49 1999 +0200
@@ -4,4 +4,7 @@
     Copyright   1994  University of Cambridge
 *)
 
-subset = Set
+theory subset = Set
+files "Tools/typedef_package.ML":
+
+end