| Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Fri, 19 Jun 2015 15:55:22 +0200 | nipkow | renamed multiset_of -> mset | file | diff | annotate |
| Thu, 07 Aug 2014 12:17:41 +0200 | blanchet | no need for 'set_simps' now that 'datatype_new' generates the desired 'set' property | file | diff | annotate |
| Thu, 06 Mar 2014 15:40:33 +0100 | blanchet | renamed 'fun_rel' to 'rel_fun' | file | diff | annotate |
| Wed, 19 Feb 2014 16:32:37 +0100 | blanchet | merged 'List.set' with BNF-generated 'set' | file | diff | annotate |
| Mon, 14 Oct 2013 15:01:41 +0200 | kuncar | declare Quotient_Examples/FSet.thy as almost obsolete | file | diff | annotate |