--- a/src/HOLCF/Ssum.thy Fri Mar 04 23:12:36 2005 +0100
+++ b/src/HOLCF/Ssum.thy Fri Mar 04 23:23:47 2005 +0100
@@ -8,7 +8,9 @@
header {* The type of strict sums *}
-theory Ssum = Cfun:
+theory Ssum
+imports Cfun
+begin
constdefs
Sinl_Rep :: "['a,'a,'b,bool]=>bool"