ROOTS

revert "better" handling of abbreviation from c61fe520602b

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