isabelle: Changelog

berghofe [Tue, 17 Feb 2004 17:41:30 +0100] rev 14391

Moved application of flexflex_unique from standard' to standard.

paulson [Tue, 17 Feb 2004 10:41:59 +0100] rev 14390

further tweaks to the numeric theories

paulson [Mon, 16 Feb 2004 15:24:03 +0100] rev 14389

arith

kleing [Mon, 16 Feb 2004 03:25:52 +0100] rev 14388

lemmas about card (set xs)

paulson [Sun, 15 Feb 2004 10:46:37 +0100] rev 14387

Polymorphic treatment of binary arithmetic using axclasses

nipkow [Sat, 14 Feb 2004 02:06:12 +0100] rev 14386

Removed dangling exception handler

nipkow [Thu, 12 Feb 2004 00:28:23 +0100] rev 14385

Missing } inserted

berghofe [Wed, 11 Feb 2004 17:39:00 +0100] rev 14384

Removed "duplicate fact binding" error message.

berghofe [Wed, 11 Feb 2004 17:38:21 +0100] rev 14383

Printing functions now use cond_extrn instead of extrn (due to short_names flag)

berghofe [Wed, 11 Feb 2004 17:36:08 +0100] rev 14382

Added flag short_names

isabelle