src/HOL/Tools/BNF/bnf_gfp_grec.ML
2016-03-23 blanchet 2016-03-23 sorted out type issue with sort constraints
2016-03-22 blanchet 2016-03-22 moved 'corec' from ssh://hg@bitbucket.org/jasmin_blanchette/nonprim-corec to Isabelle