diff -r 20ea249bac53 -r 9032f4bdf205 ROOTS
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ROOTS	Sun Aug 19 17:33:00 2012 +0200
@@ -0,0 +1,11 @@
+src/Pure
+src/FOL
+src/HOL
+src/ZF
+src/CCL
+src/CTT
+src/Cube
+src/FOLP
+src/LCF
+src/Sequents
+doc-src