isabelle: Changelog

wenzelm [Fri, 16 Nov 2001 22:10:27 +0100] rev 12228

converted;

wenzelm [Fri, 16 Nov 2001 22:09:44 +0100] rev 12227

actually store "coinduct" rule;

wenzelm [Fri, 16 Nov 2001 22:08:55 +0100] rev 12226

additional P.marg_comment;

wenzelm [Fri, 16 Nov 2001 22:08:28 +0100] rev 12225

\usepackage[latin1]{inputenc};

paulson [Fri, 16 Nov 2001 18:24:11 +0100] rev 12224

even more theories from Jacques

wenzelm [Fri, 16 Nov 2001 15:25:17 +0100] rev 12223

finish_global: Drule.strip_shyps_warning (just for warning);

wenzelm [Fri, 16 Nov 2001 15:24:39 +0100] rev 12222

ext_tsig_classes: rebuild_tsig!!!!!

wenzelm [Fri, 16 Nov 2001 15:24:09 +0100] rev 12221

local_standard: plain strip_shyps instead of strip_shyps_warning;

paulson [Fri, 16 Nov 2001 13:48:43 +0100] rev 12220

last-minute tidying

wenzelm [Thu, 15 Nov 2001 23:26:58 +0100] rev 12219

updated;

isabelle