| Wed, 17 Nov 2021 16:13:00 +0100 | nipkow | added lemmas | file | diff | annotate |
| Thu, 19 Aug 2021 12:31:06 +0200 | Lukas Stevens | add/rename some theorems about Map(pings) | file | diff | annotate |
| Tue, 01 Jun 2021 19:46:34 +0200 | nipkow | More general fold function for maps | file | diff | annotate |
| Sun, 29 Mar 2020 15:44:54 +0100 | paulson | more tidying up of old apply-proofs | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Sun, 17 Jun 2018 20:31:51 +0200 | nipkow | added simp rules | file | diff | annotate |
| Sat, 16 Jun 2018 07:13:17 +0200 | nipkow | moved lemmas from AFP | file | diff | annotate |
| Fri, 15 Jun 2018 10:45:12 +0200 | nipkow | Map.empty now qualified to avoid name clashes | file | diff | annotate |
| Wed, 07 Mar 2018 19:02:22 +0100 | wenzelm | more abbrevs -- this makes "(=" ambiguous and thus simplifies input of "(=)" (within the context of Main HOL); | file | diff | annotate |
| Sun, 26 Nov 2017 21:08:32 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Sat, 11 Nov 2017 18:41:08 +0000 | haftmann | dedicated definition for coprimality | file | diff | annotate |
| Fri, 01 Sep 2017 09:45:56 +0200 | bulwahn | more facts on Map.map_of and List.zip | file | diff | annotate |
| Sun, 27 Aug 2017 06:56:29 +0200 | bulwahn | more facts on Map.ran | file | diff | annotate |
| Mon, 05 Jun 2017 15:59:41 +0200 | haftmann | executable domain membership checks | file | diff | annotate |
| Sun, 11 Sep 2016 00:14:44 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Fri, 09 Sep 2016 13:39:21 +0200 | nipkow | added lemmas | file | diff | annotate |
| Wed, 10 Aug 2016 09:33:54 +0200 | nipkow | "split add" -> "split" | file | diff | annotate |
| Tue, 23 Feb 2016 16:25:08 +0100 | nipkow | more canonical names | file | diff | annotate |
| Mon, 28 Dec 2015 21:47:32 +0100 | wenzelm | former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII"; | file | diff | annotate |
| Mon, 07 Dec 2015 10:38:04 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Mon, 31 Aug 2015 21:01:21 +0200 | wenzelm | prefer symbols; | file | diff | annotate |
| Thu, 27 Aug 2015 21:19:48 +0200 | haftmann | standardized some occurences of ancient "split" alias | file | diff | annotate |
| Tue, 04 Aug 2015 23:11:16 +0200 | wenzelm | eliminated clone; | file | diff | annotate |
| Tue, 04 Aug 2015 14:29:45 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 04 Aug 2015 14:06:24 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Tue, 14 Apr 2015 11:32:01 +0200 | Andreas Lochbihler | add lemmas | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Sat, 12 Apr 2014 11:27:36 +0200 | haftmann | more operations and lemmas | file | diff | annotate |
| Fri, 14 Feb 2014 07:53:46 +0100 | blanchet | merged 'Option.map' and 'Option.map_option' | file | diff | annotate |