isabelle: Changelog

ehmety [Thu, 15 Nov 2001 16:46:38 +0100] rev 12197

New files

paulson [Thu, 15 Nov 2001 16:12:49 +0100] rev 12196

new theories from Jacques Fleuriot

ehmety [Thu, 15 Nov 2001 15:07:16 +0100] rev 12195

*** empty log message ***

wenzelm [Wed, 14 Nov 2001 23:22:43 +0100] rev 12194

converted datatype examples moved from ZF/ex to ZF/Induct;

wenzelm [Wed, 14 Nov 2001 23:22:15 +0100] rev 12193

document setup;

wenzelm [Wed, 14 Nov 2001 23:21:05 +0100] rev 12192

removed BT, Data, Enum (see ZF/Induct);

wenzelm [Wed, 14 Nov 2001 23:20:41 +0100] rev 12191

case_names;

wenzelm [Wed, 14 Nov 2001 23:20:14 +0100] rev 12190

added Datatypes, Binary_Trees (from ZF/ex);

wenzelm [Wed, 14 Nov 2001 23:19:09 +0100] rev 12189

Isar attribute and method setup;

wenzelm [Wed, 14 Nov 2001 23:18:37 +0100] rev 12188

fix path prefix;

isabelle