removed HOLCF for now as explicit component
authorkrauss
Sun Nov 28 12:11:41 2010 +0100 (2010-11-28)
changeset 4077804d44a20fccf
parent 40777 4898bae6ef23
child 40779 24851517ef15
removed HOLCF for now as explicit component
etc/components
     1.1 --- a/etc/components	Sat Nov 27 17:44:36 2010 -0800
     1.2 +++ b/etc/components	Sun Nov 28 12:11:41 2010 +0100
     1.3 @@ -7,7 +7,6 @@
     1.4  src/CTT
     1.5  src/Cube
     1.6  src/FOLP
     1.7 -src/HOLCF
     1.8  src/LCF
     1.9  src/Sequents
    1.10  #misc components