src/HOL/Tools/datatype_prop.ML
changeset 11539 0f17da240450
parent 10911 eb5721204b38
child 11957 f1657e0291ca
equal deleted inserted replaced
11538:f8588786cc9c 11539:0f17da240450
     1 (*  Title:      HOL/Tools/datatype_prop.ML
     1 (*  Title:      HOL/Tools/datatype_prop.ML
     2     ID:         $Id$
     2     ID:         $Id$
     3     Author:     Stefan Berghofer
     3     Author:     Stefan Berghofer, TU Muenchen
     4     Copyright   1998  TU Muenchen
     4     License:    GPL (GNU GENERAL PUBLIC LICENSE)
     5 
     5 
     6 Characteristic properties of datatypes
     6 Characteristic properties of datatypes.
     7 *)
     7 *)
     8 
     8 
     9 signature DATATYPE_PROP =
     9 signature DATATYPE_PROP =
    10 sig
    10 sig
    11   val dtK : int ref
    11   val dtK : int ref