Tue, 03 Apr 2012 16:26:48 +0200 | kuncar | new package Lifting - initial commit | file | diff | annotate |
Wed, 28 Mar 2012 10:02:22 +0200 | bulwahn | removing now redundant impl_of theorems in DAList | file | diff | annotate |
Tue, 27 Mar 2012 14:14:46 +0200 | bulwahn | association lists with distinct keys uses the quotient infrastructure to obtain code certificates; | file | diff | annotate |
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 |