| Mon, 08 May 2006 21:40:40 +0200 | huffman | speed improvements: expand LCF sublanguage to recognize any constant subterm; also add memoization to cont_tac | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:08 +0100 | wenzelm | setup: theory -> theory; | file | diff | annotate |
| Mon, 17 Oct 2005 23:10:13 +0200 | wenzelm | change_claset/simpset; | file | diff | annotate |
| Fri, 01 Jul 2005 04:02:22 +0200 | huffman | added tactic cont_tac | file | diff | annotate |
| Wed, 15 Jun 2005 23:35:43 +0200 | huffman | Domain package uses ContProc for beta reduction | file | diff | annotate |
| Tue, 14 Jun 2005 03:50:20 +0200 | huffman | moved continuity simproc to a separate file | file | diff | annotate |