isabelle: Changelog

wenzelm [Mon, 09 Oct 2006 02:20:06 +0200] rev 20913

def(_i): LocalDefs.add_defs; removed Drule.strip_shyps_warning;

wenzelm [Mon, 09 Oct 2006 02:20:05 +0200] rev 20912

attribute: Context.mapping; removed Drule.strip_shyps_warning;

wenzelm [Mon, 09 Oct 2006 02:20:04 +0200] rev 20911

removed obsolete note_thmss(_i); simplified add_thmss; tuned;

wenzelm [Mon, 09 Oct 2006 02:20:04 +0200] rev 20910

added exit;

wenzelm [Mon, 09 Oct 2006 02:20:02 +0200] rev 20909

simplified derived_def;

wenzelm [Mon, 09 Oct 2006 02:20:01 +0200] rev 20908

removed theorems, smart_theorems etc. (cf. Specification.theorems);

wenzelm [Mon, 09 Oct 2006 02:20:01 +0200] rev 20907

lemmas/theorems/declare: Specification.theorems;

wenzelm [Mon, 09 Oct 2006 02:19:58 +0200] rev 20906

added kind attributes;

wenzelm [Mon, 09 Oct 2006 02:19:57 +0200] rev 20905

Drule.lhs/rhs_of;

wenzelm [Mon, 09 Oct 2006 02:19:56 +0200] rev 20904

added dest_equals_lhs; replaced clhs/crhs_of by lhs/rhs_of; local_standard: flexflex_unique; removed strip_shyps_warning;

isabelle