src/HOL/Tools/BNF/bnf_fp_rec_sugar_util.ML
Fri, 14 Feb 2014 17:18:28 +0100 blanchet better handling of recursion through functions
Mon, 20 Jan 2014 18:24:56 +0100 blanchet adjusted comments
Mon, 20 Jan 2014 18:24:56 +0100 blanchet avoid nested 'Tools' directories
less more (0) tip