changeset 14579 | e79f1923fa0a |
parent 14427 | cea7d2f76112 |
child 14643 | 130076a81b84 |
--- a/src/HOL/Tools/record_package.ML Fri Apr 16 04:08:29 2004 +0200 +++ b/src/HOL/Tools/record_package.ML Fri Apr 16 04:09:53 2004 +0200 @@ -1,6 +1,6 @@ (* Title: HOL/Tools/record_package.ML ID: $Id$ - Author: Wolfgang Naraschewski and Markus Wenzel, TU Muenchen + Author: Wolfgang Naraschewski, Norbert Schirmer and Markus Wenzel, TU Muenchen License: GPL (GNU GENERAL PUBLIC LICENSE) Extensible records with structural subtyping in HOL.