src/HOL/Tools/old_primrec_package.ML
2007-12-06 haftmann 2007-12-06 -authentic primrec
2007-12-06 haftmann 2007-12-06 added new primrec package