isabelle: Changelog

wenzelm [Tue, 06 Nov 2001 19:26:32 +0100] rev 12068

added pretty_term', read_typ', read_typ_no_norm', read_def_terms' which refer to local syntax;

wenzelm [Tue, 06 Nov 2001 19:25:24 +0100] rev 12067

export pretty_thm_aux;

wenzelm [Tue, 06 Nov 2001 01:21:10 +0100] rev 12066

tuned;

wenzelm [Tue, 06 Nov 2001 01:20:49 +0100] rev 12065

theorem(_i): locale atts; global_goal, finish_global: proper treatment of target locale;

wenzelm [Tue, 06 Nov 2001 01:19:07 +0100] rev 12064

group locale_element;

wenzelm [Tue, 06 Nov 2001 01:18:46 +0100] rev 12063

added add_locale(_i) and store_thm; removed old scope stuff; tuned;

wenzelm [Tue, 06 Nov 2001 01:17:27 +0100] rev 12062

theorem(_i): locale atts; added add_locale;

isabelle