isabelle: Changelog

wenzelm [Wed, 13 Mar 2013 15:12:14 +0100] rev 51417

sessions may be organized via 'chapter' in ROOT;

wenzelm [Wed, 13 Mar 2013 15:08:38 +0100] rev 51416

do not absorb I/O errors;

wenzelm [Wed, 13 Mar 2013 14:57:16 +0100] rev 51415

show expanded path, to avoid odd /foo/bar/$ISABELLE_BROWSER_INFO/baz;

paulson [Wed, 13 Mar 2013 17:17:33 +0000] rev 51414

new lemma subset_decode_imp_le

kleing [Wed, 13 Mar 2013 16:03:55 +0100] rev 51413

merged

kleing [Wed, 13 Mar 2013 16:03:40 +0100] rev 51412

more IMP snippets

kuncar [Wed, 13 Mar 2013 14:33:15 +0100] rev 51411

rename fset_member to fmember and prove parametricity

traytel [Wed, 13 Mar 2013 13:23:16 +0100] rev 51410

BNF uses fset defined via Lifting/Transfer rather than Quotient

traytel [Wed, 13 Mar 2013 10:47:00 +0100] rev 51409

nitpick setup and code generation for streams

nipkow [Wed, 13 Mar 2013 10:15:01 +0100] rev 51408

merged

isabelle