wenzelm@32327: #main object logics
wenzelm@32325: src/Pure
wenzelm@32325: src/FOL
wenzelm@32325: src/HOL
wenzelm@32325: src/ZF
wenzelm@32325: src/CCL
wenzelm@32325: src/CTT
wenzelm@32325: src/Cube
wenzelm@32325: src/FOLP
wenzelm@32325: src/HOLCF
wenzelm@32325: src/LCF
wenzelm@32325: src/Sequents
wenzelm@32327: #misc components
wenzelm@32327: src/HOL/Tools/ATP_Manager
wenzelm@32332: src/HOL/Library/Sum_Of_Squares
boehmes@32381: src/HOL/ex/Mirabelle