src/HOL/Lambda/ROOT.ML
2008-04-25 krauss 2008-04-25 Merged theories about wellfoundedness into one: Wellfounded.thy
2007-11-10 wenzelm 2007-11-10 qualified Proofterm.proofs;
2007-10-12 haftmann 2007-10-12 consolidated naming conventions for code generator theories
2007-09-06 berghofe 2007-09-06 Added Standardization theory.
2007-08-06 berghofe 2007-08-06 No document for Pretty_Int theory.
2007-07-31 wenzelm 2007-07-31 simultaneous use_thys;
2007-01-19 wenzelm 2007-01-19 HOL-Lambda: usedir -m no_brackets;
2006-12-06 wenzelm 2006-12-06 no timing;
2003-07-04 berghofe 2003-07-04 Added check for HOL_proofs: Theory WeakNorm is skipped if HOL image has been compiled without proof objects.
2003-06-24 berghofe 2003-06-24 Added new theories WeakNorm and StrongNorm.
2002-08-30 paulson 2002-08-30 removal of blast.overloaded
2002-03-06 wenzelm 2002-03-06 tuned;
2001-10-26 wenzelm 2001-10-26 tuned notation;
2000-10-18 wenzelm 2000-10-18 use Accessible_Part from HOL/Library;
2000-06-23 berghofe 2000-06-23 Added new theory.
2000-05-30 wenzelm 2000-05-30 cleaned up;
1999-04-22 wenzelm 1999-04-22 improved load paths;
1999-03-11 wenzelm 1999-03-11 removed foo_build_completed -- now handled by session management (via usedir);
1999-02-03 wenzelm 1999-02-03 add_path / reset_path;
1998-08-06 nipkow 1998-08-06 First steps towards termination of simply typed terms.
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-11-21 clasohm 1995-11-21 removed make_chart; theories are now read from the current directory (because of use_dir)
1995-11-19 nipkow 1995-11-19 Moved comments into README.html
1995-10-24 clasohm 1995-10-24 added calls of init_html and make_chart
1995-10-06 nipkow 1995-10-06 New version with eta reduction.
1995-06-29 clasohm 1995-06-29 renamed CHOL to HOL
1995-05-22 nipkow 1995-05-22 Moved comment from ParRed.thy to ROOT.ML