isabelle: Changelog

paulson <lp15@cam.ac.uk> [Thu, 30 Apr 2015 15:28:01 +0100] rev 60162

tidying some messy proofs

nipkow [Fri, 01 May 2015 08:45:30 +0200] rev 60161

new simp rule

wenzelm [Thu, 30 Apr 2015 16:07:43 +0200] rev 60160

more formal source, more PIDE markup;

wenzelm [Thu, 30 Apr 2015 15:58:15 +0200] rev 60159

tuned -- avoid odd rebinding of "ctxt" and "context";

wenzelm [Thu, 30 Apr 2015 15:41:53 +0200] rev 60158

tuned;

wenzelm [Wed, 29 Apr 2015 23:30:47 +0200] rev 60157

use smaller example that fits into 64MB string limit of Poly/ML x86 platform;

wenzelm [Wed, 29 Apr 2015 23:26:11 +0200] rev 60156

tuned;

paulson <lp15@cam.ac.uk> [Wed, 29 Apr 2015 14:04:22 +0100] rev 60155

Tidying. Improved simplification for numerals, esp in exponents.

blanchet [Tue, 28 Apr 2015 22:57:07 +0200] rev 60154

allow sorts on dead variables in BNFs

blanchet [Tue, 28 Apr 2015 22:56:50 +0200] rev 60153

added known bug

isabelle