src/HOL/HOLCF/Tr.thy
changeset 41295 5b5388d4ccc9
parent 41182 717404c7d59a
child 42151 4da4fc77664b
     1.1 --- a/src/HOL/HOLCF/Tr.thy	Sun Dec 19 18:10:54 2010 -0800
     1.2 +++ b/src/HOL/HOLCF/Tr.thy	Sun Dec 19 18:11:20 2010 -0800
     1.3 @@ -10,7 +10,7 @@
     1.4  
     1.5  subsection {* Type definition and constructors *}
     1.6  
     1.7 -types
     1.8 +type_synonym
     1.9    tr = "bool lift"
    1.10  
    1.11  translations