src/HOLCF/Fixrec.thy
2006-02-19 huffman 2006-02-19 use qualified name for return
2006-02-17 huffman 2006-02-17 make maybe into a real type constructor; remove monad syntax
2005-11-30 huffman 2005-11-30 reimplement Case expression pattern matching to support lazy patterns
2005-11-07 huffman 2005-11-07 reimplemented Case syntax using print/parse translations; moved as-patterns to separate section
2005-11-07 huffman 2005-11-07 remove syntax for as-patterns
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