changeset 12446 | 86887b40aeb1 |
parent 12445 | f17eb90bfd16 |
child 12822 | 073116d65bb9 |
--- a/src/HOL/Tools/datatype_codegen.ML Mon Dec 10 15:30:18 2001 +0100 +++ b/src/HOL/Tools/datatype_codegen.ML Mon Dec 10 15:31:30 2001 +0100 @@ -1,4 +1,4 @@ -(* Title: Pure/HOL/datatype_codegen.ML +(* Title: HOL/datatype_codegen.ML ID: $Id$ Author: Stefan Berghofer, TU Muenchen License: GPL (GNU GENERAL PUBLIC LICENSE)