isabelle: Changelog

paulson [Thu, 16 Dec 2004 14:34:23 +0100] rev 15416

Further fix to a bug (involving equational premises) in inductive definitions

paulson [Thu, 16 Dec 2004 12:44:32 +0100] rev 15415

fix to bound_hyp_subst_tac, partially fixing a bug in inductive definitions

kleing [Thu, 16 Dec 2004 04:19:20 +0100] rev 15414

LaTeXsugar

paulson [Wed, 15 Dec 2004 17:32:40 +0100] rev 15413

removal of archaic Abs/Rep proofs

paulson [Wed, 15 Dec 2004 10:19:19 +0100] rev 15412

*** empty log message ***

Wed, 15 Dec 2004 10:19:01 +0100 removal of HOL_Lemmas

paulson [Wed, 15 Dec 2004 10:19:01 +0100] rev 15411

removal of HOL_Lemmas

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

isabelle