diff -r a99e58e043ee -r 300b7d5d23d7 etc/components
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/etc/components	Tue Aug 04 16:11:11 2009 +0200
@@ -0,0 +1,11 @@
+src/Pure
+src/FOL
+src/HOL
+src/ZF
+src/CCL
+src/CTT
+src/Cube
+src/FOLP
+src/HOLCF
+src/LCF
+src/Sequents