src/HOL/Tools/primrec.ML
2009-06-23 haftmann 2009-06-23 corrected handling of free variables in arguments
2009-06-23 haftmann 2009-06-23 tuned interfaces of datatype module
2009-06-21 haftmann 2009-06-21 simplified names of common datatype types
2009-06-19 haftmann 2009-06-19 discontinued ancient tradition to suffix certain ML module names with "_package"