isabelle: Changelog

wenzelm [Tue, 13 Nov 2001 22:36:38 +0100] rev 12178

updated;

wenzelm [Tue, 13 Nov 2001 22:25:59 +0100] rev 12177

* ZF: new-style theory commands 'inductive', 'inductive_cases', and methods 'ind_cases', 'induct_tac', 'case_tac';

wenzelm [Tue, 13 Nov 2001 22:24:28 +0100] rev 12176

ZF specific keywords;

wenzelm [Tue, 13 Nov 2001 22:20:51 +0100] rev 12175

rearranged inductive package for Isar;

wenzelm [Tue, 13 Nov 2001 22:20:15 +0100] rev 12174

Generic inductive cases facility for (co)inductive definitions.

wenzelm [Tue, 13 Nov 2001 22:19:37 +0100] rev 12173

converted;

wenzelm [Tue, 13 Nov 2001 22:18:46 +0100] rev 12172

tuned;

wenzelm [Tue, 13 Nov 2001 22:18:03 +0100] rev 12171

tuned inductions;

wenzelm [Tue, 13 Nov 2001 17:51:03 +0100] rev 12170

prove: Envir.beta_norm;

paulson [Tue, 13 Nov 2001 16:12:25 +0100] rev 12169

new SList theory from Bu Wolff

isabelle