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 |