Fri, 19 Nov 2010 10:04:08 +0100 |
haftmann |
merged
|
changeset |
files
|
Thu, 18 Nov 2010 18:53:36 +0100 |
haftmann |
proper qualification needed due to shadowing on theory merge
|
changeset |
files
|
Thu, 18 Nov 2010 17:06:02 +0100 |
haftmann |
more appropriate name for property
|
changeset |
files
|
Thu, 18 Nov 2010 17:01:16 +0100 |
haftmann |
mapper for sum type
|
changeset |
files
|
Thu, 18 Nov 2010 17:01:16 +0100 |
haftmann |
mapper for option type
|
changeset |
files
|
Thu, 18 Nov 2010 17:01:16 +0100 |
haftmann |
mapper for list type; map_pair replaces prod_fun
|
changeset |
files
|
Thu, 18 Nov 2010 17:01:16 +0100 |
haftmann |
map_pair replaces prod_fun
|
changeset |
files
|
Thu, 18 Nov 2010 17:01:16 +0100 |
haftmann |
mapper for mulitset type
|
changeset |
files
|
Thu, 18 Nov 2010 17:01:16 +0100 |
haftmann |
mapper for mapping type
|
changeset |
files
|
Thu, 18 Nov 2010 17:01:15 +0100 |
haftmann |
mapper for fset type
|
changeset |
files
|
Thu, 18 Nov 2010 17:01:15 +0100 |
haftmann |
mapper for dlist type
|
changeset |
files
|
Thu, 18 Nov 2010 17:01:15 +0100 |
haftmann |
map_fun combinator in theory Fun
|
changeset |
files
|