src/HOL/Tools/primrec_package.ML
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