src/HOLCF/ex/Fixrec_ex.thy
2009-11-02 huffman 2009-11-02 add fixrec support for HOL pair constructor patterns
2009-04-27 huffman 2009-04-27 add proper support for bottom-patterns in fixrec package
2009-02-27 huffman 2009-02-27 fixrec package uses new-style syntax and local-theory interface
2005-06-23 huffman 2005-06-23 add new file to test fixrec package