| Thu, 16 Mar 2023 08:30:00 +0100 |
nipkow |
unified function update and map update syntaxes
|
file |
diff |
annotate
|
| Tue, 14 Mar 2023 14:00:07 +0100 |
nipkow |
bring priority in line with ordinary function update notation
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 13:14:50 +0100 |
nipkow |
brought back [...] maplet syntax
|
file |
diff |
annotate
|
| Thu, 23 Feb 2023 22:04:32 +0100 |
nipkow |
Map.empty no longer output abbreviation; %_. None is shorter and requires no explanation
|
file |
diff |
annotate
|
| Mon, 20 Feb 2023 13:55:58 +0100 |
nipkow |
Backed out changeset bafdc56654cf
|
file |
diff |
annotate
|
| Mon, 13 Feb 2023 16:07:41 +0100 |
nipkow |
move map_of to List
|
file |
diff |
annotate
|
| 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
|