--- a/etc/components Sat Nov 27 17:44:36 2010 -0800 +++ b/etc/components Sun Nov 28 12:11:41 2010 +0100 @@ -7,7 +7,6 @@ src/CTT src/Cube src/FOLP -src/HOLCF src/LCF src/Sequents #misc components