src/HOL/Quotient_Examples/Lift_FSet.thy
Thu, 26 May 2016 17:51:22 +0200 wenzelm isabelle update_cartouches -c -t;
Mon, 10 Nov 2014 10:29:19 +0100 traytel dropped redundant transfer rules (now proved and registered by datatype and plugins)
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Thu, 07 Aug 2014 12:17:41 +0200 blanchet no need for 'set_simps' now that 'datatype_new' generates the desired 'set' property
Tue, 25 Feb 2014 15:02:20 +0100 kuncar simplify and repair proofs due to df0fda378813
Wed, 19 Feb 2014 16:32:37 +0100 blanchet merged 'List.set' with BNF-generated 'set'
Tue, 13 Aug 2013 15:59:22 +0200 kuncar remove unnecessary dependencies on Library/Quotient_*
less more (0) -10 -7 tip