author | huffman |
Thu, 19 Nov 2009 16:48:40 -0800 | |
changeset 33800 | d625c373b160 |
parent 33799 | 1d73cce2d630 |
child 33801 | e8535acd302c |
--- 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")