| 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 |
| Tue, 17 Jan 2012 10:45:42 +0100 | bulwahn | renaming theory AList_Impl back to AList (reverting 1fec5b365f9b; AList with distinct key invariant is called DAList) | file | diff | annotate |
| Tue, 10 Jan 2012 15:48:10 +0100 | bulwahn | proper hiding of facts and constants in AList_Impl and AList theory | file | diff | annotate |
| Wed, 14 Dec 2011 16:30:32 +0100 | bulwahn | correcting dependencies after renaming | file | diff | annotate |
| Tue, 13 Sep 2011 09:28:03 +0200 | bulwahn | correcting theory name and dependencies | file | diff | annotate |
| Mon, 12 Sep 2011 10:57:58 +0200 | bulwahn | moving connection of association lists to Mappings into a separate theory | file | diff | annotate |