| 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 |