isabelle: Changelog

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;

wenzelm [Thu, 15 Nov 2001 23:25:46 +0100] rev 12218

GPLed;

wenzelm [Thu, 15 Nov 2001 23:25:01 +0100] rev 12217

write_keywords: string argument (logic name);

wenzelm [Thu, 15 Nov 2001 23:21:57 +0100] rev 12216

isatool unsymbolize;

ehmety [Thu, 15 Nov 2001 20:01:19 +0100] rev 12215

Modified to make the files build with the new changes in ZF

isabelle