isabelle: Changelog

wenzelm [Mon, 28 Jan 2002 18:51:48 +0100] rev 12858

GPLed;

wenzelm [Mon, 28 Jan 2002 18:50:23 +0100] rev 12857

tuned header;

wenzelm [Mon, 28 Jan 2002 18:48:25 +0100] rev 12856

tuned;

schirmer [Mon, 28 Jan 2002 17:52:13 +0100] rev 12855

Bali added

schirmer [Mon, 28 Jan 2002 17:00:19 +0100] rev 12854

Isabelle/Bali sources;

wenzelm [Sat, 26 Jan 2002 19:20:01 +0100] rev 12853

Isar cases/induct: no backtracking;

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;

isabelle