src/HOL/Library/BNF_Corec.thy
20 months ago wenzelm 2018-02-15 more symbols;
21 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
23 months ago wenzelm 2017-11-26 more symbols;
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