src/HOL/main.ML
2010-07-02 haftmann 2010-07-02 tuned bootstrap files
2009-11-11 wenzelm 2009-11-11 uniform use of simultabeous use_thys;
2009-01-02 wenzelm 2009-01-02 tuned header and description of boot files;
2008-12-19 ballarin 2008-12-19 All logics ported to new locales.
2008-12-11 ballarin 2008-12-11 Conversion of HOL-Main and ZF to new locales.
2008-09-29 haftmann 2008-09-29 separate HOL-Main image