src/HOLCF/HOLCF.thy
changeset 15650 b37dc98fbbc5
parent 15576 efb95d0d01f7
child 15651 4b393520846e
     1.1 --- a/src/HOLCF/HOLCF.thy	Fri Apr 01 23:44:41 2005 +0200
     1.2 +++ b/src/HOLCF/HOLCF.thy	Sat Apr 02 00:12:38 2005 +0200
     1.3 @@ -5,4 +5,8 @@
     1.4  Top theory for HOLCF system.
     1.5  *)
     1.6  
     1.7 -HOLCF = Sprod + Ssum + Up + Lift + Discrete + One + Tr
     1.8 +theory HOLCF
     1.9 +imports Sprod Ssum Up Lift Discrete One Tr
    1.10 +begin
    1.11 +
    1.12 +end