src/HOL/main.ML
Fri, 19 Dec 2008 16:39:23 +0100 ballarin All logics ported to new locales.
Thu, 11 Dec 2008 18:30:26 +0100 ballarin Conversion of HOL-Main and ZF to new locales.
Mon, 29 Sep 2008 12:31:58 +0200 haftmann separate HOL-Main image
less more (0) tip