added type object = exn;

--- a/src/Pure/library.ML	Thu Nov 20 15:06:57 1997 +0100
+++ b/src/Pure/library.ML	Thu Nov 20 15:07:19 1997 +0100
@@ -976,6 +976,10 @@
 datatype 'a mtree = Join of 'a * 'a mtree list;
 
 
+(* generic objects -- fool the ML type system via exception constructors *)
+type object = exn;
+
+
 end;
 
 open Library;