| 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
|