Wed, 15 Jun 2005 20:50:38 +0200 | huffman | fixrec package now handles mutually-recursive definitions | file | diff | annotate |
Sat, 04 Jun 2005 02:11:47 +0200 | huffman | use fixrec_package.ML | file | diff | annotate |
Sat, 04 Jun 2005 00:22:08 +0200 | huffman | New theory with lemmas for the fixrec package | file | diff | annotate |