isabelle: Changelog

nipkow [Wed, 02 Aug 2017 18:22:02 +0200] rev 66308

generalized lemma

haftmann [Tue, 01 Aug 2017 20:38:39 +0200] rev 66307

tuned references

paulson [Wed, 02 Aug 2017 16:31:42 +0200] rev 66306

fixed another horrible proof

wenzelm [Tue, 01 Aug 2017 22:19:37 +0200] rev 66305

misc tuning and modernization;

wenzelm [Tue, 01 Aug 2017 17:33:04 +0200] rev 66304

isabelle update_cartouches -c -t;

wenzelm [Tue, 01 Aug 2017 17:30:02 +0200] rev 66303

misc tuning and modernization;

nipkow [Tue, 01 Aug 2017 10:28:42 +0200] rev 66302

new lemma

boehmes [Tue, 01 Aug 2017 07:26:23 +0200] rev 66301

more explicit Argo proof traces; more correct proof replay for term applications

paulson <lp15@cam.ac.uk> [Mon, 31 Jul 2017 15:38:21 +0100] rev 66300

more cleanup of Tagged_Division

paulson <lp15@cam.ac.uk> [Sun, 30 Jul 2017 21:44:23 +0100] rev 66299

partial cleanup of the horrible Tagged_Division

isabelle