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