ROOTS

target-sensitive user-level commands interpretation and sublocale

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