changeset 28308 | d4396a28fb29 |
parent 27691 | ce171cbd4b93 |
child 28703 | aef727ef30e5 |
--- a/src/HOL/Tools/old_primrec_package.ML Mon Sep 22 08:00:23 2008 +0200 +++ b/src/HOL/Tools/old_primrec_package.ML Mon Sep 22 08:00:24 2008 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Tools/primrec_package.ML +(* Title: HOL/Tools/old_primrec_package.ML ID: $Id$ Author: Stefan Berghofer, TU Muenchen and Norbert Voelker, FernUni Hagen