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 18:50:40 +0200 | huffman | added match functions for ONE, TT, and FF; added theorem mplus_fail2 | file | diff | annotate |
Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
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 |