| 2005-07-12 | huffman | changed orientation of bind_assoc rule | file | diff | annotate |
| 2005-07-12 | huffman | generalized types of monadic operators to class cpo; added match function for UU | file | diff | annotate |
| 2005-07-08 | huffman | fix typo | file | diff | annotate |
| 2005-07-08 | huffman | renamed upE1 to upE | file | diff | annotate |
| 2005-06-23 | huffman | added match functions for spair, sinl, sinr | file | diff | annotate |
| 2005-06-17 | huffman | fixrec shows unsolved subgoals when proofs of rewrites fail | file | diff | annotate |
| 2005-06-17 | huffman | added match functions for ONE, TT, and FF; added theorem mplus_fail2 | file | diff | annotate |
| 2005-06-17 | haftmann | migrated theory headers to new format | file | diff | annotate |
| 2005-06-15 | huffman | fixrec package now handles mutually-recursive definitions | file | diff | annotate |
| 2005-06-04 | huffman | use fixrec_package.ML | file | diff | annotate |
| 2005-06-03 | huffman | New theory with lemmas for the fixrec package | file | diff | annotate |