--- a/src/HOL/thy_data.ML Fri Apr 10 13:42:22 1998 +0200
+++ b/src/HOL/thy_data.ML Sun Apr 19 17:01:04 1998 +0200
@@ -2,7 +2,7 @@
ID: $Id$
Author: Markus Wenzel, TU Muenchen
-HOL theory data: simpset, claset, records, datatypes.
+HOL theory data: records, datatypes.
*)
(*for records*)