src/HOL/main.ML
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