isabelle: Changelog

nipkow [Wed, 07 Oct 2020 17:34:24 +0200] rev 72389

Aded Queues

haftmann [Wed, 07 Oct 2020 10:39:14 +0200] rev 72388

consolidated for the sake of documentation

wenzelm [Wed, 07 Oct 2020 11:31:51 +0200] rev 72387

tuned;

paulson [Tue, 06 Oct 2020 20:34:38 +0100] rev 72386

merged

paulson <lp15@cam.ac.uk> [Tue, 06 Oct 2020 20:34:29 +0100] rev 72385

Simplified some proofs

nipkow [Tue, 06 Oct 2020 16:55:56 +0200] rev 72384

added lemmas; internalized defn in class

paulson [Mon, 05 Oct 2020 22:53:40 +0100] rev 72383

merged

paulson <lp15@cam.ac.uk> [Mon, 05 Oct 2020 20:58:23 +0100] rev 72382

still not quite fixed...

paulson <lp15@cam.ac.uk> [Mon, 05 Oct 2020 18:48:41 +0100] rev 72381

A few more reversions

paulson <lp15@cam.ac.uk> [Mon, 05 Oct 2020 18:46:15 +0100] rev 72380

reversion to the explicit existential quantifier

isabelle