Sat, 12 Apr 2008 17:00:35 +0200 | wenzelm | rep_cterm/rep_thm: no longer dereference theory_ref; | file | diff | annotate |
Thu, 03 Jan 2008 16:53:27 +0100 | huffman | fix theorem references | file | diff | annotate |
Thu, 31 May 2007 14:01:58 +0200 | wenzelm | moved HOLCF tools to canonical place; | file | diff | annotate |