add dependency on Fixrec.thy

--- a/src/HOLCF/Domain.thy	Sat Jun 04 00:22:22 2005 +0200
+++ b/src/HOLCF/Domain.thy	Sat Jun 04 00:23:40 2005 +0200
@@ -6,7 +6,8 @@
 header {* Domain package *}
 
 theory Domain
-imports Ssum Sprod One Up
+imports Ssum Sprod One Up Fixrec
+(*
 files
   ("domain/library.ML")
   ("domain/syntax.ML")
@@ -14,6 +15,7 @@
   ("domain/theorems.ML")
   ("domain/extender.ML")
   ("domain/interface.ML")
+*)
 begin
 
 defaultsort pcpo