src/HOL/plain.ML
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-15 ballarin 2008-12-15 More porting to new locales.
2008-06-26 haftmann 2008-06-26 established Plain theory and image