isabelle: Changelog

paulson [Thu, 19 Feb 2004 10:41:01 +0100] rev 14396

removed a reference to the ML structure List.thy

paulson [Thu, 19 Feb 2004 10:40:28 +0100] rev 14395

new theorem

paulson [Thu, 19 Feb 2004 10:37:15 +0100] rev 14394

comments!!

paulson [Wed, 18 Feb 2004 16:01:37 +0100] rev 14393

new Union syntax

paulson [Wed, 18 Feb 2004 10:40:29 +0100] rev 14392

removed obsolete theorem

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

isabelle