isabelle: Changelog

paulson [Tue, 23 Dec 2003 16:52:49 +0100] rev 14322

deleting redundant theorems

paulson [Tue, 23 Dec 2003 14:46:08 +0100] rev 14321

new theorems

paulson [Tue, 23 Dec 2003 14:45:47 +0100] rev 14320

tidying up hcomplex arithmetic

paulson [Tue, 23 Dec 2003 14:45:23 +0100] rev 14319

renaming some theorems

paulson [Tue, 23 Dec 2003 12:54:45 +0100] rev 14318

type hcomplex is now in class field

paulson [Tue, 23 Dec 2003 12:54:15 +0100] rev 14317

more ML bindings

kleing [Tue, 23 Dec 2003 06:35:41 +0100] rev 14316

added some [intro?] and [trans] for list_all2 lemmas

nipkow [Mon, 22 Dec 2003 22:52:38 +0100] rev 14315

Updated proofs due to changes in Set.thy.

paulson [Mon, 22 Dec 2003 18:29:20 +0100] rev 14314

converted Complex/NSComplex to Isar script

paulson [Mon, 22 Dec 2003 16:22:14 +0100] rev 14313

removal of the abel_cancel simproc for hypreal

isabelle