src/HOL/plain.ML
Wed, 11 Nov 2009 14:15:11 +0100 wenzelm uniform use of simultabeous use_thys;
Fri, 02 Jan 2009 00:21:59 +0100 wenzelm tuned header and description of boot files;
Fri, 19 Dec 2008 16:39:23 +0100 ballarin All logics ported to new locales.
Mon, 15 Dec 2008 18:12:52 +0100 ballarin More porting to new locales.
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
less more (0) tip