isabelle: Changelog

paulson <lp15@cam.ac.uk> [Wed, 23 Sep 2015 14:11:35 +0100] rev 61238

Useful facts about min/max, etc.

paulson <lp15@cam.ac.uk> [Wed, 23 Sep 2015 11:52:15 +0100] rev 61237

Merge

paulson <lp15@cam.ac.uk> [Wed, 23 Sep 2015 11:36:07 +0100] rev 61236

fixed a VERY SLOW proof

paulson <lp15@cam.ac.uk> [Tue, 22 Sep 2015 16:55:49 +0100] rev 61235

SOME rather than THE makes it easy to prove equivalence with other forms of derivatives

paulson <lp15@cam.ac.uk> [Tue, 22 Sep 2015 16:55:07 +0100] rev 61234

New lemmas

paulson <lp15@cam.ac.uk> [Tue, 22 Sep 2015 16:53:59 +0100] rev 61233

Prepared two non-terminating proofs; no obvious link with my changes

nipkow [Wed, 23 Sep 2015 09:47:04 +0200] rev 61232

added AVL and lookup function

nipkow [Wed, 23 Sep 2015 09:14:22 +0200] rev 61231

tuned

nipkow [Tue, 22 Sep 2015 17:13:13 +0200] rev 61230

merged

nipkow [Tue, 22 Sep 2015 17:13:01 +0200] rev 61229

unified isin-proofs

isabelle