# 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*)