| 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
|
| Thu, 06 Mar 2014 13:36:15 +0100 |
blanchet |
renamed 'map_sum' to 'sum_map'
|
file |
diff |
annotate
|
| Wed, 12 Feb 2014 08:35:57 +0100 |
blanchet |
renamed '{prod,sum,bool,unit}_case' to 'case_...'
|
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
|
| Wed, 22 Dec 2010 17:51:22 -0800 |
huffman |
fix proof script broken by a35af5180c01
|
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
|
| Sun, 19 Dec 2010 17:37:19 -0800 |
huffman |
use deflations over type 'udom u' to represent predomains;
|
file |
diff |
annotate
|
| Tue, 30 Nov 2010 14:01:25 -0800 |
huffman |
simplify predomain instances
|
file |
diff |
annotate
|
| Sat, 27 Nov 2010 16:08:10 -0800 |
huffman |
moved directory src/HOLCF to src/HOL/HOLCF;
|
file |
diff |
annotate
| base
|