| Wed, 13 Jun 2007 18:30:17 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Thu, 31 May 2007 14:01:58 +0200 | wenzelm | moved HOLCF tools to canonical place; | file | diff | annotate |
| Sun, 29 Jan 2006 19:24:56 +0100 | wenzelm | tuned proof; | file | diff | annotate |
| Thu, 22 Dec 2005 00:29:22 +0100 | wenzelm | exh_casedist2: norm_hhf_eq; | file | diff | annotate |
| Wed, 12 Oct 2005 03:01:30 +0200 | huffman | add ML bindings for compactness lemmas | file | diff | annotate |
| Tue, 11 Oct 2005 23:47:29 +0200 | huffman | added compactness theorems in locale iso | file | diff | annotate |
| Tue, 11 Oct 2005 23:27:49 +0200 | huffman | added several theorems in locale iso | file | diff | annotate |