changeset 11539 | 0f17da240450 |
parent 11345 | cd605c85e421 |
child 11725 | d0c37d04906b |
--- a/src/HOL/Tools/datatype_package.ML Fri Aug 31 18:43:27 2001 +0200 +++ b/src/HOL/Tools/datatype_package.ML Fri Aug 31 18:46:48 2001 +0200 @@ -1,7 +1,7 @@ (* Title: HOL/Tools/datatype_package.ML ID: $Id$ - Author: Stefan Berghofer - Copyright 1998 TU Muenchen + Author: Stefan Berghofer, TU Muenchen + License: GPL (GNU GENERAL PUBLIC LICENSE) Datatype package for Isabelle/HOL. *)