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