isabelle: Changelog

wenzelm [Wed, 16 Oct 2013 11:35:04 +0200] rev 54339

basic IO buffer size like for fifo -- imitate implicit flushing behaviour more closely;

wenzelm [Mon, 14 Oct 2013 15:46:35 +0200] rev 54338

removed junk (cf. 409d7f7247f4);

kuncar [Mon, 14 Oct 2013 15:13:11 +0200] rev 54337

fix a citation

kuncar [Mon, 14 Oct 2013 15:01:41 +0200] rev 54336

declare Quotient_Examples/FSet.thy as almost obsolete

kuncar [Mon, 14 Oct 2013 15:01:41 +0200] rev 54335

update documentation of important public ML functions in Lifting

kuncar [Mon, 14 Oct 2013 15:01:37 +0200] rev 54334

update documentation of Lifting/Transfer and Quotient

kuncar [Fri, 11 Oct 2013 18:36:51 +0200] rev 54333

don't allow parametricity theorem for typedefs in setup_lifting. The theorem is not used.

wenzelm [Mon, 14 Oct 2013 15:21:45 +0200] rev 54332

tuned;

wenzelm [Sat, 12 Oct 2013 19:41:59 +0200] rev 54331

more screenshots; tuned;

wenzelm [Sat, 12 Oct 2013 19:00:59 +0200] rev 54330

tuned;

isabelle