#include sequences/kernel
src/compute/src
src/HolSat/sat_solvers/minisat
src/HolSat/sat_solvers/zc2hs
src/HolSat
src/taut
src/marker
src/q
src/combin
src/lite
src/refute
src/simp/src
src/metis
src/meson/src
src/IndDef
src/basicProof
src/relation
src/coretypes
src/tfl/src
src/num/theories
src/num/reduce/src
src/num/arith/src
src/num