src/HOL/Tools/function_package/size.ML
changeset 24711 e8bba7723858
parent 24710 141df8b68f63
child 24714 1618c2ac1b74
     1.1 --- a/src/HOL/Tools/function_package/size.ML	Tue Sep 25 13:42:59 2007 +0200
     1.2 +++ b/src/HOL/Tools/function_package/size.ML	Tue Sep 25 15:34:35 2007 +0200
     1.3 @@ -204,6 +204,6 @@
     1.4  
     1.5  fun size_thms thy = the o Symtab.lookup (SizeData.get thy);
     1.6  
     1.7 -val setup = DatatypePackage.add_interpretator add_size_thms;
     1.8 +val setup = DatatypePackage.interpretation add_size_thms;
     1.9  
    1.10  end;
    1.11 \ No newline at end of file