| Thu, 31 May 2007 14:01:58 +0200 | wenzelm | moved HOLCF tools to canonical place; | file | diff | annotate |
| Sun, 19 Feb 2006 02:11:27 +0100 | huffman | use minimal imports | file | diff | annotate |
| Wed, 19 Oct 2005 21:52:35 +0200 | wenzelm | removed obsolete domain/interface.ML; | file | diff | annotate |
| Mon, 17 Oct 2005 23:10:13 +0200 | wenzelm | change_claset/simpset; | file | diff | annotate |
| Fri, 23 Sep 2005 22:21:52 +0200 | wenzelm | adm_tac/cont_tacRs: proper simpset; | file | diff | annotate |
| Thu, 14 Jul 2005 19:28:23 +0200 | wenzelm | use all files in HOLCF.thy; | file | diff | annotate |
| Mon, 23 May 2005 23:24:38 +0200 | huffman | moved continuity simproc to Cont.thy | file | diff | annotate |