src/HOL/Library/BNF_Corec.thy
2016-10-24 traytel 2016-10-24 additional user-specified simp (naturality) rules used in friend_of_corec
2016-10-24 traytel 2016-10-24 apply transfer_prover after folding relator_eq
2016-03-23 blanchet 2016-03-23 proper sectioning
2016-03-22 blanchet 2016-03-22 moved 'corec' from ssh://hg@bitbucket.org/jasmin_blanchette/nonprim-corec to Isabelle