# HG changeset patch
# User huffman
# Date 1258678120 28800
# Node ID d625c373b1605b14eaab1298a53f54b3b3322615
# Parent  1d73cce2d630e6b751b4639e0ba8158aaffccd2b
Domain.thy imports Representable.thy

diff -r 1d73cce2d630 -r d625c373b160 src/HOLCF/Domain.thy
--- a/src/HOLCF/Domain.thy	Thu Nov 19 16:47:18 2009 -0800
+++ b/src/HOLCF/Domain.thy	Thu Nov 19 16:48:40 2009 -0800
@@ -5,7 +5,7 @@
 header {* Domain package *}
 
 theory Domain
-imports Ssum Sprod Up One Tr Fixrec
+imports Ssum Sprod Up One Tr Fixrec Representable
 uses
   ("Tools/cont_consts.ML")
   ("Tools/cont_proc.ML")