src/HOL/Tools/function_package/size.ML
2007-10-13 wenzelm 2007-10-13 Theory.specify_const: added deps argument;
2007-10-11 wenzelm 2007-10-11 Theory.specify_const;
2007-09-30 wenzelm 2007-09-30 Sign.add_consts_authentic: tags (Markup.property list);
2007-09-25 wenzelm 2007-09-25 proper Sign operations instead of Theory aliases; tuned functor application;
2007-09-25 wenzelm 2007-09-25 simplified interpretation setup;
2007-09-25 haftmann 2007-09-25 size hook