src/HOL/Tools/record_package.ML
changeset 5052 bbe3584b515b
parent 5006 cdc86a914e63
child 5060 7b86df67cc1a
     1.1 --- a/src/HOL/Tools/record_package.ML	Thu Jun 18 18:31:06 1998 +0200
     1.2 +++ b/src/HOL/Tools/record_package.ML	Thu Jun 18 18:35:07 1998 +0200
     1.3 @@ -256,7 +256,7 @@
     1.4    simps: tthm list};
     1.5  
     1.6  
     1.7 -(* data kind '"HOL/records' *)
     1.8 +(* data kind 'HOL/records' *)
     1.9  
    1.10  structure RecordsArgs =
    1.11  struct