Sat, 27 Nov 2010 13:12:10 -0800 |
huffman |
renamed several HOLCF theorems (listed in NEWS)
|
file |
diff |
annotate
|
Wed, 10 Nov 2010 09:59:08 -0800 |
huffman |
instance sum :: (predomain, predomain) predomain
|
file |
diff |
annotate
|
Wed, 10 Nov 2010 09:52:50 -0800 |
huffman |
configure sum type for fixrec
|
file |
diff |
annotate
|
Fri, 05 Nov 2010 15:15:28 -0700 |
huffman |
(infixl "<<" 55) -> (infix "<<" 50)
|
file |
diff |
annotate
|
Fri, 22 Oct 2010 06:58:45 -0700 |
huffman |
remove finite_po class
|
file |
diff |
annotate
|
Wed, 06 Oct 2010 10:49:27 -0700 |
huffman |
major reorganization/simplification of HOLCF type classes:
|
file |
diff |
annotate
|
Thu, 30 Sep 2010 18:46:19 -0700 |
huffman |
rename cont2cont_split to cont2cont_prod_case; add lemmas prod_contI, prod_cont_iff; simplify some proofs
|
file |
diff |
annotate
|
Thu, 01 Jul 2010 16:54:44 +0200 |
haftmann |
"prod" and "sum" replace "*" and "+" respectively
|
file |
diff |
annotate
|
Mon, 24 May 2010 12:42:17 -0700 |
huffman |
move HOLCF/Sum_Cpo.thy to HOLCF/Library
|
file |
diff |
annotate
| base
|