isabelle: Changelog

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;

wenzelm [Sat, 12 Oct 2013 14:37:45 +0200] rev 54329

misc tuning;

wenzelm [Sat, 12 Oct 2013 00:10:07 +0200] rev 54328

more strict find_command -- avoid invalid hyperlink_command;

isabelle