| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Wed, 13 Jan 2016 23:07:06 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Sun, 13 Sep 2015 22:56:52 +0200 |
wenzelm |
tuned proofs -- less legacy;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 17:16:01 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
| Tue, 29 Mar 2011 17:47:11 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Thu, 06 Jan 2011 17:40:38 -0800 |
huffman |
rename constant u_defl to u_liftdefl;
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 09:48:16 -0800 |
huffman |
simplify proofs
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 08:26:47 -0800 |
huffman |
configure domain package to work with HOL sum type
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 07:50:47 -0800 |
huffman |
replace list_map function with an abbreviation
|
file |
diff |
annotate
|
| Sun, 19 Dec 2010 17:37:19 -0800 |
huffman |
use deflations over type 'udom u' to represent predomains;
|
file |
diff |
annotate
|
| Sat, 11 Dec 2010 21:27:53 -0800 |
huffman |
add HOLCF library theories with cpo/predomain instances for HOL types
|
file |
diff |
annotate
|