src/HOL/Tools/record.ML
changeset 32763 ebfaf9e3c03a
parent 32761 54fee94b2b29
child 32764 690f9cccf232
equal deleted inserted replaced
32762:5f485f98652f 32763:ebfaf9e3c03a
     1 (*  Title:      HOL/Tools/record.ML
     1 (*  Title:      HOL/Tools/record.ML
     2     Authors:    Wolfgang Naraschewski, Norbert Schirmer and Markus Wenzel, TU Muenchen
     2     Author:     Wolfgang Naraschewski, TU Muenchen
     3                 Thomas Sewell, NICTA
     3     Author:     Markus Wenzel, TU Muenchen
     4 
     4     Author:     Norbert Schirmer, TU Muenchen
     5 Extensible records with structural subtyping in HOL.
     5     Author:     Thomas Sewell, NICTA
       
     6 
       
     7 Extensible records with structural subtyping.
     6 *)
     8 *)
     7 
     9 
     8 signature BASIC_RECORD =
    10 signature BASIC_RECORD =
     9 sig
    11 sig
    10   val record_simproc: simproc
    12   val record_simproc: simproc