1 (* Title: HOLCF/Tr.thy
1 (* Title: HOL/HOLCF/Tr.thy
2 Author: Franz Regensburger
3 *)
4
5 header {* The type of lifted booleans *}
6