isabelle: Changelog

wenzelm [Mon, 09 Oct 2006 02:19:49 +0200] rev 20897

attribute: Context.mapping;

haftmann [Sat, 07 Oct 2006 07:41:56 +0200] rev 20896

cleaned up interfaces

mengj [Sat, 07 Oct 2006 02:47:33 +0200] rev 20895

Removed unused res_atp_setup.ML, since its functions have been put in res_atp.ML.

wenzelm [Sat, 07 Oct 2006 01:31:23 +0200] rev 20894

Common theory targets.

wenzelm [Sat, 07 Oct 2006 01:31:22 +0200] rev 20893

Element.export_facts;

wenzelm [Sat, 07 Oct 2006 01:31:20 +0200] rev 20892

refined unlocalize_mixfix;

wenzelm [Sat, 07 Oct 2006 01:31:19 +0200] rev 20891

TheoryTarget;

wenzelm [Sat, 07 Oct 2006 01:31:18 +0200] rev 20890

moved pretty_consts to proof_display.ML; adapted to improved LocalTheory interfaces;

wenzelm [Sat, 07 Oct 2006 01:31:17 +0200] rev 20889

added pretty_consts (from specification.ML);

wenzelm [Sat, 07 Oct 2006 01:31:16 +0200] rev 20888

turned into abstract wrapper module, cf. theory_target.ML; simplified interfaces;

isabelle