isabelle: Changelog

wenzelm [Fri, 11 Jan 2002 00:28:43 +0100] rev 12709

IsarThy.theorems_i;

wenzelm [Fri, 11 Jan 2002 00:28:24 +0100] rev 12708

clarified IsarThy.apply_theorems_i;

wenzelm [Fri, 11 Jan 2002 00:27:40 +0100] rev 12707

* Pure: localized 'lemmas', 'theorems', 'declare';

wenzelm [Thu, 10 Jan 2002 21:04:15 +0100] rev 12706

removed add_thmss; added have_thmss(_i);

wenzelm [Thu, 10 Jan 2002 21:03:46 +0100] rev 12705

tuned;

wenzelm [Thu, 10 Jan 2002 16:09:26 +0100] rev 12704

export_single;

wenzelm [Thu, 10 Jan 2002 16:06:39 +0100] rev 12703

refine_tac: Tactic.norm_hhf_tac before trying rule; global_qed: uses Locale.add_thmss_hybrid, tuned;

wenzelm [Thu, 10 Jan 2002 16:04:42 +0100] rev 12702

add_thmss_hybrid;

wenzelm [Thu, 10 Jan 2002 16:04:28 +0100] rev 12701

export multi_theorem(_i), locale_multi_theorem(_i);

paulson [Thu, 10 Jan 2002 13:25:48 +0100] rev 12700

stylistic changes

isabelle