src/HOL/Main.ML
2000-08-18 wenzelm 2000-08-18 Main now new-style theory; added Main.ML for compatibility;