src/HOL/Unix/ROOT.ML
Mon, 06 Sep 2010 13:22:11 +0200 wenzelm modernized session ROOT setup;
Wed, 11 Nov 2009 14:15:11 +0100 wenzelm uniform use of simultabeous use_thys;
Tue, 31 Jul 2007 22:21:22 +0200 wenzelm setmp_noncritical print_mode;
Sat, 06 Oct 2001 00:02:46 +0200 wenzelm * sane numerals (stage 2): plain "num" syntax (removed "#");
Wed, 24 Jan 2001 00:06:32 +0100 wenzelm no_brackets;
Tue, 23 Jan 2001 18:05:53 +0100 wenzelm added HOL-Unix example;
less more (0) tip