| 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 |
| Fri, 08 Jul 2005 02:41:35 +0200 | huffman | renamed upE1 to upE | file | diff | annotate |
| Wed, 08 Jun 2005 01:41:20 +0200 | huffman | fixed renamed lemma | file | diff | annotate |
| Sat, 04 Jun 2005 02:12:10 +0200 | huffman | fix imports | file | diff | annotate |
| Sat, 04 Jun 2005 00:23:40 +0200 | huffman | add dependency on Fixrec.thy | file | diff | annotate |
| Fri, 03 Jun 2005 23:36:17 +0200 | huffman | renamed defined lemmas | file | diff | annotate |
| Tue, 31 May 2005 11:53:12 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 25 May 2005 09:44:34 +0200 | wenzelm | removed LICENCE note -- everything is subject to Isabelle licence as | file | diff | annotate |
| Sat, 16 Apr 2005 00:16:44 +0200 | huffman | New file for theorems used by the domain package | file | diff | annotate |