src/LCF/ex/ROOT.ML
Sat, 13 Mar 2010 16:44:12 +0100 wenzelm removed old CVS Ids;
Tue, 31 Jul 2007 23:23:28 +0200 wenzelm simultaneous use_thys;
Thu, 07 Apr 2005 09:25:33 +0200 wenzelm reverted renaming of Some/None in comments and strings;
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Tue, 30 May 2000 16:08:38 +0200 wenzelm cleaned up;
Thu, 11 Mar 1999 13:20:35 +0100 wenzelm removed foo_build_completed -- now handled by session management (via usedir);
Fri, 08 May 1998 13:54:45 +0200 wenzelm proper thy files;
Fri, 19 Dec 1997 10:18:03 +0100 wenzelm tuned;
Thu, 20 Mar 1997 11:09:01 +0100 wenzelm replaced ex.ML by ex/ROOT.ML, ex/ex.ML;
less more (0) tip