| Tue, 06 Jan 2009 09:03:37 -0800 | huffman | make cont_proc handle eta-contracted terms | file | diff | annotate |
| Tue, 06 Jan 2009 09:02:18 -0800 | huffman | implement is_closed_term using Term.loose_bvar | file | diff | annotate |
| Mon, 05 Jan 2009 15:26:57 -0800 | huffman | use Thm.close_derivation instead of standard | file | diff | annotate |
| Wed, 10 Dec 2008 15:31:55 -0800 | huffman | implement cont_proc theorem cache using theory data | file | diff | annotate |
| Wed, 10 Dec 2008 13:44:09 -0800 | huffman | use ML antiquotations | file | diff | annotate |
| Sat, 29 Mar 2008 22:55:49 +0100 | wenzelm | purely functional setup of claset/simpset/clasimpset; | file | diff | annotate |
| Sun, 29 Jul 2007 14:29:59 +0200 | wenzelm | marked some CRITICAL sections; | file | diff | annotate |
| Thu, 31 May 2007 14:01:58 +0200 | wenzelm | moved HOLCF tools to canonical place; | file | diff | annotate |