src/HOL/IsaMakefile
changeset 46319 c248e4f1be74
parent 46238 9ace9e5b79be
child 46320 0b8b73b49848
     1.1 --- a/src/HOL/IsaMakefile	Mon Jan 23 17:40:31 2012 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Jan 23 17:40:31 2012 +0100
     1.3 @@ -334,8 +334,8 @@
     1.4    Tools/Nitpick/nitpick_rep.ML \
     1.5    Tools/Nitpick/nitpick_scope.ML \
     1.6    Tools/Nitpick/nitpick_tests.ML \
     1.7 +  Tools/Nitpick/nitpick_tptp.ML \
     1.8    Tools/Nitpick/nitpick_util.ML \
     1.9 -  Tools/Nitpick/nitrox.ML \
    1.10    Tools/numeral.ML \
    1.11    Tools/numeral_simprocs.ML \
    1.12    Tools/numeral_syntax.ML \