#main object logics

src/Pure

src/FOL

src/HOL

src/ZF

src/CCL

src/CTT

src/Cube

src/FOLP

src/LCF

src/Sequents

#misc components

src/Tools/Code

src/Tools/jEdit

src/Tools/WWW_Find

src/HOL/Mirabelle

src/HOL/Mutabelle

src/HOL/Library/Sum_of_Squares

src/HOL/Tools/ATP

src/HOL/Tools/Predicate_Compile

src/HOL/Tools/SMT

src/HOL/TPTP

doc-src