--- a/src/HOLCF/One.thy Tue Dec 16 21:18:53 2008 -0800 +++ b/src/HOLCF/One.thy Tue Dec 16 21:31:55 2008 -0800 @@ -1,8 +1,5 @@ (* Title: HOLCF/One.thy - ID: $Id$ Author: Oscar Slotosch - -The unit domain. *) header {* The unit domain *}