| Thu, 16 Feb 2012 22:53:24 +0100 | wenzelm | tuned proofs; | 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, 17 Jan 2012 09:38:30 +0100 | bulwahn | renamed theory AList to DAList | file | diff | annotate | base |