| Sun, 12 Sep 2021 22:31:51 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Tue, 13 Oct 2015 09:21:15 +0200 |
haftmann |
prod_case as canonical name for product type eliminator
|
file |
diff |
annotate
|
| Fri, 12 Aug 2011 07:18:28 -0700 |
huffman |
make HOLCF work with separate set type
|
file |
diff |
annotate
|
| Mon, 08 Aug 2011 18:36:32 -0700 |
huffman |
HOLCF: fix warnings about unreferenced identifiers
|
file |
diff |
annotate
|
| Tue, 29 Mar 2011 17:47:11 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Tue, 04 Jan 2011 15:03:27 -0800 |
huffman |
renamed constant 'UU' to 'bottom', keeping 'UU' as alternative input syntax;
|
file |
diff |
annotate
|
| Wed, 01 Dec 2010 13:09:08 +0100 |
wenzelm |
just one Term.dest_funT;
|
file |
diff |
annotate
|
| Tue, 30 Nov 2010 14:21:57 -0800 |
huffman |
remove gratuitous semicolons from ML code
|
file |
diff |
annotate
|
| Sat, 27 Nov 2010 16:08:10 -0800 |
huffman |
moved directory src/HOLCF to src/HOL/HOLCF;
|
file |
diff |
annotate
| base
|