src/HOL/Tools/primrec_package.ML
1999-01-12 wenzelm 1999-01-12 eliminated tthm type and Attribute structure;
1998-12-28 paulson 1998-12-28 better indentation
1998-12-18 paulson 1998-12-18 moved dest_eq to hologic.ML and tidied
1998-11-16 wenzelm 1998-11-16 Attribute.tthms_of;
1998-10-21 berghofe 1998-10-21 Changed interface.
1998-09-24 oheimb 1998-09-24 renamed mk_meta_eq to mk_eq
1998-08-12 oheimb 1998-08-12 renamed mk_meta_eq to meta_eq
1998-07-30 berghofe 1998-07-30 Equations are now stored in theory.
1998-07-24 berghofe 1998-07-24 New primrec function definition package