| Fri, 01 Jul 2005 04:00:23 +0200 | huffman | remove uses of sign_of | file | diff | annotate |
| Thu, 23 Jun 2005 21:27:23 +0200 | huffman | New features: | file | diff | annotate |
| Mon, 20 Jun 2005 22:14:02 +0200 | wenzelm | added add_fixrec_i, add_fixpat_i; | file | diff | annotate |
| Sat, 18 Jun 2005 00:38:18 +0200 | huffman | fixrec shows unsolved subgoals when proofs of rewrites fail | file | diff | annotate |
| Fri, 17 Jun 2005 21:19:31 +0200 | huffman | support theorem names and attributes for fixrec equations; also make them into simp rules by default, like primrec does | file | diff | annotate |
| Wed, 15 Jun 2005 21:48:35 +0200 | huffman | allow theorem attributes on fixpat declarations | file | diff | annotate |
| Wed, 15 Jun 2005 20:50:38 +0200 | huffman | fixrec package now handles mutually-recursive definitions | file | diff | annotate |
| Tue, 14 Jun 2005 04:04:09 +0200 | huffman | cleaned up and reorganized | file | diff | annotate |
| Sat, 04 Jun 2005 02:10:19 +0200 | huffman | implementation of fixrec package | file | diff | annotate |