changeset 21317 | ebd2704ed33b |
parent 21256 | 47195501ecf7 |
child 21423 | 6cdd0589aa73 |
--- a/src/HOL/IsaMakefile Sun Nov 12 21:31:52 2006 +0100 +++ b/src/HOL/IsaMakefile Mon Nov 13 11:41:40 2006 +0100 @@ -135,6 +135,7 @@ Tools/function_package/mutual.ML \ Tools/function_package/fundef_package.ML \ Tools/function_package/auto_term.ML \ + Tools/function_package/lexicographic_order.ML \ Tools/function_package/fundef_datatype.ML \ FunDef.thy Accessible_Part.thy @$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/Pure HOL