| #
e64e636d |
|
13-Jan-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
2a7742a4 |
|
24-Mar-2015 |
wenzelm <none@none> |
tuned proof;
|
| #
be2b8a8c |
|
23-Mar-2015 |
wenzelm <none@none> |
tuned proof;
|
| #
e5735396 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header;
|
| #
d4cae3bf |
|
23-Mar-2013 |
haftmann <none@none> |
fundamental revision of big operators on sets
|
| #
c82bd4c5 |
|
12-Oct-2012 |
wenzelm <none@none> |
discontinued obsolete typedef (open) syntax;
|
| #
d8e74f87 |
|
30-Nov-2011 |
wenzelm <none@none> |
prefer typedef without extra definition and alternative name;
tuned proofs;
|
| #
91214357 |
|
29-Mar-2011 |
wenzelm <none@none> |
tuned headers;
|
| #
1e92fca8 |
|
19-Dec-2010 |
huffman <none@none> |
minimize imports; move domain class instances for powerdomain types into Powerdomains.thy
|
| #
8881c6ca |
|
19-Dec-2010 |
huffman <none@none> |
powerdomain theories require class 'bifinite' instead of 'domain'
|
| #
f4f6e1bf |
|
19-Dec-2010 |
huffman <none@none> |
renamed Bifinite.thy to Representable.thy
--HG--
rename : src/HOL/HOLCF/Bifinite.thy => src/HOL/HOLCF/Representable.thy
|
| #
cd74ecc5 |
|
17-Dec-2010 |
huffman <none@none> |
renamed CompactBasis.thy to Compact_Basis.thy
--HG--
rename : src/HOL/HOLCF/CompactBasis.thy => src/HOL/HOLCF/Compact_Basis.thy
|