--- 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.
--- a/src/Pure/Isar/README Fri Apr 16 04:08:29 2004 +0200
+++ b/src/Pure/Isar/README Fri Apr 16 04:09:53 2004 +0200
@@ -11,7 +11,6 @@
Method (proof methods)
Attrib (attributes)
- LocalDefs (local definitions)
Calculation (calculational proofs)
Obtain (generalized existence reasoning)