# HG changeset patch
# User huffman
# Date 1117843930 -7200
# Node ID 9c9d9ba41bac1d883fa66b1e874df280c566fc4d
# Parent  77cae9c8e73ea01d71c93034d452ba0eb6e6351e
fix imports

diff -r 77cae9c8e73e -r 9c9d9ba41bac src/HOLCF/Domain.thy
--- a/src/HOLCF/Domain.thy	Sat Jun 04 02:11:47 2005 +0200
+++ b/src/HOLCF/Domain.thy	Sat Jun 04 02:12:10 2005 +0200
@@ -6,7 +6,7 @@
 header {* Domain package *}
 
 theory Domain
-imports Ssum Sprod One Up Fixrec
+imports Ssum Sprod Up One Tr Fixrec
 (*
 files
   ("domain/library.ML")