changeset 30049 | 05354c653d3a |
parent 30019 | a2f19e0a28b2 |
child 30096 | c5497842ee35 |
--- a/src/HOL/IsaMakefile Fri Feb 20 21:29:34 2009 +0100 +++ b/src/HOL/IsaMakefile Sun Feb 22 10:22:29 2009 +0100 @@ -86,7 +86,7 @@ Tools/simpdata.ML \ $(SRC)/Tools/atomize_elim.ML \ $(SRC)/Tools/code/code_funcgr.ML \ - $(SRC)/Tools/code/code_funcgr.ML \ + $(SRC)/Tools/code/code_wellsorted.ML \ $(SRC)/Tools/code/code_name.ML \ $(SRC)/Tools/code/code_printer.ML \ $(SRC)/Tools/code/code_target.ML \