isabelle: Changelog

bauerg [Thu, 06 Jul 2000 12:27:36 +0200] rev 9261

removed sorry;

kleing [Thu, 06 Jul 2000 12:15:05 +0200] rev 9260

new ADD instruction

paulson [Thu, 06 Jul 2000 11:24:09 +0200] rev 9259

removal of batch style, and tidying

paulson [Thu, 06 Jul 2000 11:23:39 +0200] rev 9258

fixed typos reported by Jeremy Dawson

bauerg [Thu, 06 Jul 2000 10:10:50 +0200] rev 9257

added;

bauerg [Thu, 06 Jul 2000 10:10:10 +0200] rev 9256

completed TYPES version of HahnBanach;

nipkow [Thu, 06 Jul 2000 09:46:56 +0200] rev 9255

*** empty log message ***

wenzelm [Thu, 06 Jul 2000 00:09:45 +0200] rev 9254

Compatibility file for Moscow ML 2.00;

wenzelm [Thu, 06 Jul 2000 00:09:12 +0200] rev 9253

run Moscow ML 2.00 --- does not handle saved images (yet!?);

wenzelm [Thu, 06 Jul 2000 00:08:24 +0200] rev 9252

Moscow ML 2.00 or later (experimental!); tuned;

isabelle