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@36890: src/HOL/Tools/SMT
neuper@37871: #bundled components
neuper@37871: contrib/e-1.0-004
neuper@37871: contrib/jedit-4.3.2
neuper@37871: contrib/kodkodi-1.2.13
neuper@37871: contrib/scala-2.8.0.RC5
neuper@37871: contrib/spass-3.7