isabelle: Changelog

paulson [Wed, 08 Dec 1999 13:53:29 +0100] rev 8055

abolition of localTo: instead "guarantees" has local vars as extra argument

paulson [Wed, 08 Dec 1999 13:52:36 +0100] rev 8054

used image_eq_UN to speed up slow proofs of base cases

paulson [Wed, 08 Dec 1999 13:51:44 +0100] rev 8053

useful lemma eqset_imp_iff

wenzelm [Tue, 07 Dec 1999 17:14:49 +0100] rev 8052

tuned;

wenzelm [Tue, 07 Dec 1999 12:13:09 +0100] rev 8051

tuned;

wenzelm [Tue, 07 Dec 1999 12:12:54 +0100] rev 8050

added Isar_examples/Fibonacci.thy;

nipkow [Tue, 07 Dec 1999 11:01:48 +0100] rev 8049

Fixed bug in find-functions: list of parameters must be reversed before subsitution.

nipkow [Mon, 06 Dec 1999 14:23:45 +0100] rev 8048

Renamed some vars

nipkow [Thu, 02 Dec 1999 09:09:30 +0100] rev 8047

cosmetic mod.

wenzelm [Wed, 01 Dec 1999 22:38:35 +0100] rev 8046

accommodate current version of rpm;

isabelle