Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Library/AList.thy
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
less
more
(0)
tip