| Mon, 01 Jan 2018 23:07:24 +0100 |
wenzelm |
misc tuning and modernization;
|
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
|
| 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
|
| Sun, 11 Mar 2012 13:54:08 +0100 |
wenzelm |
eliminated old-fashioned 'constrains' element;
|
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, 15 Dec 2010 19:15:06 -0800 |
huffman |
add notsqsubseteq syntax
|
file |
diff |
annotate
|
| Sat, 27 Nov 2010 16:08:10 -0800 |
huffman |
moved directory src/HOLCF to src/HOL/HOLCF;
|
file |
diff |
annotate
| base
|