| #
e64e636d |
|
13-Jan-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
5012105f |
|
13-Sep-2015 |
wenzelm <none@none> |
tuned proofs -- less legacy;
|
| #
e5735396 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header;
|
| #
433b1b70 |
|
06-Mar-2014 |
blanchet <none@none> |
renamed 'map_sum' to 'sum_map'
|
| #
447c00c8 |
|
13-Feb-2014 |
blanchet <none@none> |
merged 'Option.map' and 'Option.map_option'
|
| #
a6c1110f |
|
12-Feb-2014 |
blanchet <none@none> |
adapted theories to '{case,rec}_{list,option}' names
|
| #
91214357 |
|
29-Mar-2011 |
wenzelm <none@none> |
tuned headers;
|
| #
94cce012 |
|
06-Jan-2011 |
huffman <none@none> |
rename constant pdefl to liftdefl_of
|
| #
7b70198e |
|
22-Dec-2010 |
huffman <none@none> |
fix another proof script broken by a35af5180c01
|
| #
1f385e8f |
|
20-Dec-2010 |
huffman <none@none> |
configure domain package to work with HOL option type
|
| #
d23730c2 |
|
19-Dec-2010 |
huffman <none@none> |
use deflations over type 'udom u' to represent predomains;
removed now-unnecessary class liftdomain;
|
| #
a38ba04b |
|
11-Dec-2010 |
huffman <none@none> |
add HOLCF library theories with cpo/predomain instances for HOL types
|