| Wed, 14 Dec 2011 15:56:37 +0100 | bulwahn | adding map_entry to AList theory | file | diff | annotate |
| Wed, 14 Dec 2011 15:56:34 +0100 | bulwahn | adding map_default to AList theory | file | diff | annotate |
| Wed, 14 Dec 2011 15:56:31 +0100 | bulwahn | fixed typo in theorem name in AList theory | file | diff | annotate |
| Sun, 20 Nov 2011 21:05:23 +0100 | wenzelm | eliminated obsolete "standard"; | file | diff | annotate |
| Tue, 13 Sep 2011 09:28:03 +0200 | bulwahn | correcting theory name and dependencies | file | diff | annotate |
| Tue, 13 Sep 2011 09:25:19 +0200 | bulwahn | renamed AList_Impl to AList | file | diff | annotate | base |