isabelle: Changelog

wenzelm [Wed, 20 Jan 2016 23:05:57 +0100] rev 62225

updated header;

nipkow [Wed, 10 Feb 2016 15:49:05 +0100] rev 62224

tuned text

nipkow [Tue, 09 Feb 2016 16:38:43 +0100] rev 62223

tuned

nipkow [Tue, 09 Feb 2016 11:05:53 +0100] rev 62222

synchronized with book

nipkow [Tue, 09 Feb 2016 09:51:55 +0100] rev 62221

tuned

blanchet [Mon, 01 Feb 2016 20:55:23 +0100] rev 62220

avoid error in Isar proof reconstruction if no ATP proof is available

blanchet [Mon, 01 Feb 2016 19:57:58 +0100] rev 62219

preplaying of 'smt' and 'metis' more in sync with actual method

blanchet [Mon, 01 Feb 2016 18:45:18 +0100] rev 62218

avoid generating polymorphic SPASS constructs to monomorphic SPASS

paulson <lp15@cam.ac.uk> [Fri, 22 Jan 2016 16:00:03 +0000] rev 62217

Reorganised a huge proof

wenzelm [Wed, 20 Jan 2016 20:19:05 +0100] rev 62216

back to post-release mode -- after fork point;

isabelle