src/HOL/Tools/BNF/bnf_fp_util_tactics.ML
Thu, 14 Apr 2016 20:29:42 +0200 traytel n2m operates on (un)folds
Thu, 07 Apr 2016 17:56:22 +0200 traytel derive (co)rec uniformly from (un)fold
less more (0) tip