isabelle: Changelog

paulson [Tue, 14 Dec 2004 14:53:02 +0100] rev 15410

converted Relation_Power to new-style theory

paulson [Tue, 14 Dec 2004 10:45:16 +0100] rev 15409

new and stronger lemmas and improved simplification for finite sets

paulson [Tue, 14 Dec 2004 10:40:07 +0100] rev 15408

tidied; removed references to HOL theories

nipkow [Mon, 13 Dec 2004 18:41:49 +0100] rev 15407

added find_rewrites

nipkow [Mon, 13 Dec 2004 17:44:52 +0100] rev 15406

*** empty log message ***

Mon, 13 Dec 2004 17:07:47 +0100 added find_rewrites

nipkow [Mon, 13 Dec 2004 17:07:47 +0100] rev 15405

added find_rewrites

paulson [Mon, 13 Dec 2004 15:06:59 +0100] rev 15404

removal of NatArith.ML and Product_Type.ML

aspinall [Mon, 13 Dec 2004 14:31:02 +0100] rev 15403

Fix pgmlsymbolson/off.

nipkow [Sun, 12 Dec 2004 16:25:47 +0100] rev 15402

REorganized Finite_Set

aspinall [Fri, 10 Dec 2004 22:33:16 +0100] rev 15401

Support PGIP <whitespace>, <dostep>, <doitem> elements as input

isabelle