isabelle: Changelog

wenzelm [Mon, 09 Oct 2006 02:19:54 +0200] rev 20901

attribute: Context.mapping; PureThy.note_thmss_i;

wenzelm [Mon, 09 Oct 2006 02:19:52 +0200] rev 20900

standardized facts;

wenzelm [Mon, 09 Oct 2006 02:19:51 +0200] rev 20899

attribute symmetric: zero_var_indexes; tuned proofs;

wenzelm [Mon, 09 Oct 2006 02:19:51 +0200] rev 20898

attribute symmetric: zero_var_indexes;

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;

isabelle