isabelle: Changelog

berghofe [Thu, 10 Feb 2005 17:08:45 +0100] rev 15522

Added proof of eta-postponement theorem (using parallel eta-reduction).

paulson [Thu, 10 Feb 2005 16:03:18 +0100] rev 15521

non-inductive fold1Set proofs

paulson [Thu, 10 Feb 2005 13:01:46 +0100] rev 15520

simplified a key lemma for foldSet

ballarin [Thu, 10 Feb 2005 12:06:40 +0100] rev 15519

Toplevel.debug for debugging in Isar.

berghofe [Thu, 10 Feb 2005 11:19:03 +0100] rev 15518

Fixed bug in select_thm.

berghofe [Thu, 10 Feb 2005 10:43:57 +0100] rev 15517

Subscripts for theorem lists now start at 1.

kleing [Thu, 10 Feb 2005 08:25:22 +0100] rev 15516

mention authors are acknowledged for isabelle-lemmas

kleing [Thu, 10 Feb 2005 08:21:40 +0100] rev 15515

more preview

kleing [Thu, 10 Feb 2005 07:47:06 +0100] rev 15514

pointer to isabelle-lemmas submission list

nipkow [Wed, 09 Feb 2005 18:51:02 +0100] rev 15513

added lattice_locales

isabelle