src/HOL/Library/RBT_Mapping.thy
Thu, 05 Nov 2015 10:39:49 +0100 wenzelm isabelle update_cartouches -c -t;
Tue, 01 Sep 2015 22:32:58 +0200 wenzelm eliminated \<Colon>;
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Sun, 07 Jun 2015 12:43:06 +0200 wenzelm tuned whitespace;
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Mon, 10 Mar 2014 17:14:57 +0100 kuncar hide implementation details
Sat, 16 Mar 2013 20:51:47 +0100 kuncar drop a workaround because of 8739f8abbecb
Fri, 08 Mar 2013 13:21:58 +0100 kuncar convert mappings to parametric lifting
Fri, 15 Feb 2013 11:47:34 +0100 haftmann attempt to re-establish conventions which theories are loaded into the grand unified library theory;
Thu, 18 Oct 2012 15:52:33 +0200 kuncar update RBT_Mapping, AList_Mapping and Mapping to use lifting/transfer
Fri, 13 Apr 2012 11:45:30 +0200 Andreas Lochbihler move RBT implementation into type class contexts
Wed, 01 Jun 2011 09:10:13 +0200 bulwahn splitting RBT theory into RBT and RBT_Mapping
less more (0) tip