turned object-logics into components;
isabelle makeall: operate on all components with IsaMakefile, not just hardwired "logics";

src/Pure

src/FOL

src/HOL

src/ZF

src/CCL

src/CTT

src/Cube

src/FOLP

src/HOLCF

src/LCF

src/Sequents