src/HOLCF/Up1.thy
changeset 10212 33fe2d701ddd
parent 6543 da7b170fc8a7
child 10834 a7897aebbffc
     1.1 --- a/src/HOLCF/Up1.thy	Thu Oct 12 18:09:06 2000 +0200
     1.2 +++ b/src/HOLCF/Up1.thy	Thu Oct 12 18:38:23 2000 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  *)
     1.6  
     1.7 -Up1 = Cfun3 + Sum + Datatype +
     1.8 +Up1 = Cfun3 + Sum_Type + Datatype +
     1.9  
    1.10  (* new type for lifting *)
    1.11