ROOTS

renamed (in Sublist): prefix ~> prefixeq, strict_prefix ~> prefix

+
−src/Pure
+
−src/FOL
+
−src/HOL
+
−src/ZF
+
−src/CCL
+
−src/CTT
+
−src/Cube
+
−src/FOLP
+
−src/LCF
+
−src/Sequents
+
−src/Doc