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
haftmann@32481: src/Tools/Code
kleing@33817: src/Tools/WWW_Find
wenzelm@32327: src/HOL/Tools/ATP_Manager
boehmes@32496: src/HOL/Mirabelle
wenzelm@32332: src/HOL/Library/Sum_Of_Squares
boehmes@32618: src/HOL/SMT