Sun, 02 Nov 2014 17:16:01 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
Wed, 22 Aug 2012 22:55:41 +0200 |
wenzelm |
prefer ML_file over old uses;
|
file |
diff |
annotate
|
Thu, 15 Mar 2012 22:08:53 +0100 |
wenzelm |
declare command keywords via theory header, including strict checking outside Pure;
|
file |
diff |
annotate
|
Sun, 20 Nov 2011 21:07:06 +0100 |
wenzelm |
eliminated obsolete "standard";
|
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
|
Mon, 06 Dec 2010 08:59:58 -0800 |
huffman |
pcpodef no longer generates _defined lemmas, use _bottom_iff lemmas instead
|
file |
diff |
annotate
|
Tue, 30 Nov 2010 15:56:19 -0800 |
huffman |
change cpodef-generated cont_Rep rules to cont2cont format
|
file |
diff |
annotate
|
Sat, 27 Nov 2010 16:08:10 -0800 |
huffman |
moved directory src/HOLCF to src/HOL/HOLCF;
|
file |
diff |
annotate
| base
|