src/HOLCF/Fixrec.thy
2005-11-06 huffman 2005-11-06 add case syntax stuff
2005-11-06 huffman 2005-11-06 use consts for infix syntax
2005-11-05 huffman 2005-11-05 simplify definitions
2005-07-12 huffman 2005-07-12 changed orientation of bind_assoc rule
2005-07-12 huffman 2005-07-12 generalized types of monadic operators to class cpo; added match function for UU
2005-07-08 huffman 2005-07-08 fix typo
2005-07-08 huffman 2005-07-08 renamed upE1 to upE
2005-06-23 huffman 2005-06-23 added match functions for spair, sinl, sinr
2005-06-18 huffman 2005-06-18 fixrec shows unsolved subgoals when proofs of rewrites fail
2005-06-17 huffman 2005-06-17 added match functions for ONE, TT, and FF; added theorem mplus_fail2
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-06-15 huffman 2005-06-15 fixrec package now handles mutually-recursive definitions
2005-06-04 huffman 2005-06-04 use fixrec_package.ML
2005-06-04 huffman 2005-06-04 New theory with lemmas for the fixrec package