# HG changeset patch
# User wenzelm
# Date 892998064 -7200
# Node ID 995bc5bd8319c62edee7ed40d8db2b9c9087c3c7
# Parent  013ba4c438329c39e6f3e0629a832cc0c560c233
fixed comment;

diff -r 013ba4c43832 -r 995bc5bd8319 src/HOL/thy_data.ML
--- 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*)