src/HOL/BNF/Tools/bnf_gfp_rec_sugar_tactics.ML
Mon, 04 Nov 2013 16:53:43 +0100 blanchet split 'primrec_new' and 'primcorec' code (to ease bootstrapping, e.g. dependency on datatype 'String' in 'primcorec')
less more (0) tip