src/HOLCF/Tutorial/Fixrec_ex.thy
2010-10-24 huffman 2010-10-24 rename case combinators generated by domain package to 'foo_case' instead of 'foo_when'
2010-10-19 huffman 2010-10-19 replace fixrec 'permissive' mode with per-equation 'unchecked' option
2010-05-19 huffman 2010-05-19 move some example files into new HOLCF/Tutorial directory