src/HOL/Main.ML
Fri, 18 Aug 2000 17:53:49 +0200 wenzelm Main now new-style theory; added Main.ML for compatibility;
less more (0) tip