src/HOL/Tools/recfun_codegen.ML
2002-05-07 wenzelm 2002-05-07 use eq_thm_prop instead of slightly inadequate eq_thm;
2001-12-20 berghofe 2001-12-20 Moved "code" attribute to Pure/codegen.ML
2001-12-10 berghofe 2001-12-10 Code generator for recursive functions.