| 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
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Fri, 22 Jun 2018 20:31:49 +0200 |
wenzelm |
clarified document antiquotation @{theory};
|
file |
diff |
annotate
|
| Wed, 10 Aug 2016 14:50:59 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Tue, 31 May 2016 13:02:44 +0200 |
eberlm |
Added code generation for PMFs
|
file |
diff |
annotate
|
| Tue, 23 Feb 2016 16:25:08 +0100 |
nipkow |
more canonical names
|
file |
diff |
annotate
|
| Thu, 05 Nov 2015 10:39:49 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Tue, 01 Sep 2015 22:32:58 +0200 |
wenzelm |
eliminated \<Colon>;
|
file |
diff |
annotate
|
| Wed, 17 Jun 2015 11:03:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Sun, 07 Jun 2015 12:43:06 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 17:20:45 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
| Mon, 10 Mar 2014 17:14:57 +0100 |
kuncar |
hide implementation details
|
file |
diff |
annotate
|
| Sat, 16 Mar 2013 20:51:47 +0100 |
kuncar |
drop a workaround because of 8739f8abbecb
|
file |
diff |
annotate
|
| Fri, 08 Mar 2013 13:21:58 +0100 |
kuncar |
convert mappings to parametric lifting
|
file |
diff |
annotate
|
| Fri, 15 Feb 2013 11:47:34 +0100 |
haftmann |
attempt to re-establish conventions which theories are loaded into the grand unified library theory;
|
file |
diff |
annotate
|
| Thu, 18 Oct 2012 15:52:33 +0200 |
kuncar |
update RBT_Mapping, AList_Mapping and Mapping to use lifting/transfer
|
file |
diff |
annotate
|
| Fri, 13 Apr 2012 11:45:30 +0200 |
Andreas Lochbihler |
move RBT implementation into type class contexts
|
file |
diff |
annotate
|
| Wed, 01 Jun 2011 09:10:13 +0200 |
bulwahn |
splitting RBT theory into RBT and RBT_Mapping
|
file |
diff |
annotate
|