src/HOLCF/Up.thy
changeset 15577 e16da3068ad6
parent 15576 efb95d0d01f7
child 15593 24d770bbc44a
     1.1 --- a/src/HOLCF/Up.thy	Fri Mar 04 23:12:36 2005 +0100
     1.2 +++ b/src/HOLCF/Up.thy	Fri Mar 04 23:23:47 2005 +0100
     1.3 @@ -8,7 +8,9 @@
     1.4  
     1.5  header {* The type of lifted values *}
     1.6  
     1.7 -theory Up = Cfun + Sum_Type + Datatype:
     1.8 +theory Up
     1.9 +imports Cfun Sum_Type Datatype
    1.10 +begin
    1.11  
    1.12  (* new type for lifting *)
    1.13