isabelle: Changelog

kleing [Tue, 02 Mar 2004 01:32:23 +0100] rev 14422

converted to Isar

paulson [Mon, 01 Mar 2004 13:51:21 +0100] rev 14421

new Ring_and_Field hierarchy, eliminating redundant axioms

paulson [Mon, 01 Mar 2004 11:52:59 +0100] rev 14420

converted Hyperreal/HTranscendental to Isar script

kleing [Mon, 01 Mar 2004 05:39:32 +0100] rev 14419

converted to Isar

kleing [Mon, 01 Mar 2004 05:21:43 +0100] rev 14418

union/intersection over intervals

berghofe [Sun, 29 Feb 2004 23:05:48 +0100] rev 14417

Added specific code generator for number_of.

paulson [Thu, 26 Feb 2004 17:08:23 +0100] rev 14416

converted Hyperreal/Series to Isar script

paulson [Thu, 26 Feb 2004 11:31:36 +0100] rev 14415

converted Hyperreal/NatStar to Isar script

nipkow [Thu, 26 Feb 2004 01:04:39 +0100] rev 14414

corrected authors

paulson [Wed, 25 Feb 2004 16:22:36 +0100] rev 14413

converted Hyperreal/HSeries to Isar script

isabelle