isabelle: Changelog

wenzelm [Wed, 06 Dec 2006 21:19:01 +0100] rev 21684

added expand; export: added explicit term operation;

wenzelm [Wed, 06 Dec 2006 21:19:00 +0100] rev 21683

moved hidden_polymorphism to term.ML;

wenzelm [Wed, 06 Dec 2006 21:18:59 +0100] rev 21682

added hidden_polymorphism (from variable.ML);

wenzelm [Wed, 06 Dec 2006 21:18:58 +0100] rev 21681

add_abbrevs: moved common parts to consts.ML;

wenzelm [Wed, 06 Dec 2006 21:18:57 +0100] rev 21680

abbreviate: improved error handling, return result;

wenzelm [Wed, 06 Dec 2006 21:18:56 +0100] rev 21679

export: added explicit term operation; tuned export_morphism -- lean closure;

wenzelm [Wed, 06 Dec 2006 21:18:55 +0100] rev 21678

LocalDefs.expand;

paulson [Wed, 06 Dec 2006 17:08:19 +0100] rev 21677

Improved tracing

wenzelm [Wed, 06 Dec 2006 01:12:58 +0100] rev 21676

no timing;

wenzelm [Wed, 06 Dec 2006 01:12:57 +0100] rev 21675

simplified ML bindings;

isabelle