isabelle: Changelog

wenzelm [Sat, 26 Jan 2002 19:17:15 +0100] rev 12852

cases: really append cases_default; cases/induct method: DETERM;

wenzelm [Sat, 26 Jan 2002 19:15:51 +0100] rev 12851

generic DETERM;

paulson [Fri, 25 Jan 2002 15:42:59 +0100] rev 12850

wenzelm [Thu, 24 Jan 2002 22:44:10 +0100] rev 12849

copy_files *.sty;

wenzelm [Thu, 24 Jan 2002 22:43:40 +0100] rev 12848

cond_print_result_rule: priority (again) instead of slightly ill-behaved tracing output;

wenzelm [Thu, 24 Jan 2002 22:42:14 +0100] rev 12847

fixed subgoal_tac; fails on non-existent subgoal;

wenzelm [Thu, 24 Jan 2002 22:41:44 +0100] rev 12846

copy_styles replaces overly conservative update_styles;

wenzelm [Thu, 24 Jan 2002 18:22:01 +0100] rev 12845

Springer LNCS 2283;

wenzelm [Thu, 24 Jan 2002 16:37:49 +0100] rev 12844

updated;

wenzelm [Thu, 24 Jan 2002 16:37:43 +0100] rev 12843

iff del: less_Suc0 -- luckily this does NOT affect the printed text;

isabelle