New file cladata.ML
authorpaulson
Thu Sep 12 10:34:21 1996 +0200 (1996-09-12)
changeset 1981432db3edccdc
parent 1980 a22ff848be9b
child 1982 38aafcab6890
New file cladata.ML
src/HOL/Makefile
     1.1 --- a/src/HOL/Makefile	Thu Sep 12 10:34:01 1996 +0200
     1.2 +++ b/src/HOL/Makefile	Thu Sep 12 10:34:21 1996 +0200
     1.3 @@ -26,7 +26,7 @@
     1.4          Sexp Univ List RelPow
     1.5  
     1.6  FILES = ROOT.ML add_ind_def.ML datatype.ML hologic.ML\
     1.7 -	ind_syntax.ML simpdata.ML\
     1.8 +	ind_syntax.ML cladata.ML simpdata.ML\
     1.9  	typedef.ML thy_syntax.ML thy_data.ML ../Pure/section_utils.ML\
    1.10  	../Provers/hypsubst.ML ../Provers/classical.ML\
    1.11          ../Provers/simplifier.ML ../Provers/splitter.ML\