src/HOL/Tools/function_package/size.ML
2007-09-25 wenzelm 2007-09-25 simplified interpretation setup;
2007-09-25 haftmann 2007-09-25 size hook