import Fix is unnecessary
authorhuffman
Sat, 04 Jun 2005 02:11:20 +0200
changeset 16228 9b5b0c92230a
parent 16227 156473652dcd
child 16229 77cae9c8e73e
import Fix is unnecessary
src/HOLCF/Tr.thy
--- 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