Fri, 06 Apr 2012 18:17:16 +0200 |
haftmann |
no preference wrt. fold(l/r); prefer fold rather than foldr for iterating over lists in generated code
|
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
| base
|
Tue, 10 Jan 2012 15:48:10 +0100 |
bulwahn |
proper hiding of facts and constants in AList_Impl and AList theory
|
file |
diff |
annotate
|
Tue, 10 Jan 2012 10:17:07 +0100 |
bulwahn |
adding theory association lists with invariant
|
file |
diff |
annotate
|
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
|