| Thu, 12 Dec 2024 15:45:29 +0100 |
wenzelm |
clarified default_sort: "cpo" for bootstrap, "domain" for main HOLCF;
|
file |
diff |
annotate
|
| Wed, 11 Dec 2024 10:40:57 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Sun, 03 Jun 2018 23:30:53 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Mon, 01 Jan 2018 23:07:24 +0100 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
| Fri, 18 Aug 2017 20:47:47 +0200 |
wenzelm |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
file |
diff |
annotate
|
| Tue, 04 Apr 2017 21:57:43 +0200 |
wenzelm |
eliminated Plain_HOLCF.thy (see also 8e92772bc0e8): it was modeled after HOL/Plain.thy which was discontinued later;
|
file |
diff |
annotate
|
| Tue, 23 Feb 2016 16:25:08 +0100 |
nipkow |
more canonical names
|
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
|
| Tue, 04 Jan 2011 15:32:56 -0800 |
huffman |
change some lemma names containing 'UU' to 'bottom'
|
file |
diff |
annotate
|
| Wed, 29 Dec 2010 17:34:41 +0100 |
wenzelm |
explicit file specifications -- avoid secondary load path;
|
file |
diff |
annotate
|
| Tue, 21 Dec 2010 08:43:39 -0800 |
huffman |
declare more simp rules, rewrite proofs in Isar-style
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 08:55:36 +0100 |
haftmann |
merge
|
file |
diff |
annotate
|
| Sun, 19 Dec 2010 18:38:50 -0800 |
huffman |
rename function cprod_map to prod_map
|
file |
diff |
annotate
|
| Sun, 19 Dec 2010 05:15:31 -0800 |
huffman |
reintroduce 'bifinite' class, now with existentially-quantified approx function (cf. b525988432e9)
|
file |
diff |
annotate
|
| Mon, 06 Dec 2010 13:34:05 -0800 |
huffman |
instance unit :: domain
|
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
|