2001-11-14 agoinductive: removed con_defs;
wenzelm [Wed, 14 Nov 2001 18:44:27 +0100] rev 12180
inductive: removed con_defs;

2001-11-14 agoupdated;
wenzelm [Wed, 14 Nov 2001 18:42:34 +0100] rev 12179
updated;

2001-11-13 agoupdated;
wenzelm [Tue, 13 Nov 2001 22:36:38 +0100] rev 12178
updated;

2001-11-13 ago* ZF: new-style theory commands 'inductive', 'inductive_cases', and
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';

2001-11-13 agoZF specific keywords;
wenzelm [Tue, 13 Nov 2001 22:24:28 +0100] rev 12176
ZF specific keywords;

2001-11-13 agorearranged inductive package for Isar;
wenzelm [Tue, 13 Nov 2001 22:20:51 +0100] rev 12175
rearranged inductive package for Isar;

2001-11-13 agoGeneric inductive cases facility for (co)inductive definitions.
wenzelm [Tue, 13 Nov 2001 22:20:15 +0100] rev 12174
Generic inductive cases facility for (co)inductive definitions.

2001-11-13 agoconverted;
wenzelm [Tue, 13 Nov 2001 22:19:37 +0100] rev 12173
converted;

2001-11-13 agotuned;
wenzelm [Tue, 13 Nov 2001 22:18:46 +0100] rev 12172
tuned;

2001-11-13 agotuned inductions;
wenzelm [Tue, 13 Nov 2001 22:18:03 +0100] rev 12171
tuned inductions;