isabelle: Changelog

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

nipkow [Wed, 13 Mar 2013 10:14:50 +0100] rev 51407

tuned

wenzelm [Tue, 12 Mar 2013 22:44:03 +0100] rev 51406

proper path -- I/O was hidden due to permissiveness;

wenzelm [Tue, 12 Mar 2013 22:24:01 +0100] rev 51405

merged

isabelle