| Fri, 19 Nov 2010 21:14:12 +0100 |
wenzelm |
do not export Thy_Load.required, to avoid confusion about the interface;
|
changeset |
files
|
| Fri, 19 Nov 2010 09:07:23 -0800 |
huffman |
merged
|
changeset |
files
|
| Wed, 17 Nov 2010 16:13:33 -0800 |
huffman |
declare adm_chfin [simp]
|
changeset |
files
|
| Wed, 17 Nov 2010 16:05:18 -0800 |
huffman |
add lemma cont_fun; remove unused lemma monofun_app
|
changeset |
files
|
| Wed, 17 Nov 2010 12:19:19 -0800 |
huffman |
accumulated NEWS updates for HOLCF
|
changeset |
files
|
| Wed, 17 Nov 2010 11:39:44 -0800 |
huffman |
section -> subsection
|
changeset |
files
|
| Wed, 17 Nov 2010 11:07:02 -0800 |
huffman |
add lemma adm_prod_case
|
changeset |
files
|
| Fri, 19 Nov 2010 14:59:11 +0000 |
paulson |
merged
|
changeset |
files
|
| Fri, 19 Nov 2010 14:58:49 +0000 |
paulson |
First-order pattern matching: catch a rogue exception (differing numbers of arguments)
|
changeset |
files
|
| Fri, 19 Nov 2010 14:35:58 +0100 |
haftmann |
eval simp rules for predicate type, simplify primitive proofs
|
changeset |
files
|
| Fri, 19 Nov 2010 11:44:46 +0100 |
haftmann |
generalized type
|
changeset |
files
|
| Fri, 19 Nov 2010 10:37:06 +0100 |
haftmann |
made smlnj happy
|
changeset |
files
|