--- a/src/HOLCF/Tr.thy Sat Jun 04 02:10:41 2005 +0200 +++ b/src/HOLCF/Tr.thy Sat Jun 04 02:11:20 2005 +0200 @@ -8,7 +8,7 @@ header {* The type of lifted booleans *} theory Tr -imports Lift Fix +imports Lift begin types