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 |