# HG changeset patch
# User huffman
# Date 1117837420 -7200
# Node ID 84a177eeb49c717fc932b355ba9e1c05404b66ec
# Parent  613183ac1fa09966b9042cb9821b7695a98cf7ab
add dependency on Fixrec.thy

diff -r 613183ac1fa0 -r 84a177eeb49c src/HOLCF/Domain.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