etc/components
author wenzelm
Tue Aug 04 16:11:11 2009 +0200 (2009-08-04)
changeset 32325 300b7d5d23d7
child 32327 0971cc0b6a57
permissions -rw-r--r--
turned object-logics into components;
isabelle makeall: operate on all components with IsaMakefile, not just hardwired "logics";
     1 src/Pure
     2 src/FOL
     3 src/HOL
     4 src/ZF
     5 src/CCL
     6 src/CTT
     7 src/Cube
     8 src/FOLP
     9 src/HOLCF
    10 src/LCF
    11 src/Sequents