changeset 33308 | cf62d1690d04 |
parent 33298 | dfda74619509 |
child 33333 | 78faaec3209f |
--- a/src/HOL/IsaMakefile Thu Oct 29 16:05:51 2009 +0100 +++ b/src/HOL/IsaMakefile Thu Oct 29 16:06:15 2009 +0100 @@ -302,6 +302,7 @@ Tools/choice_specification.ML \ Tools/res_atp.ML \ Tools/res_axioms.ML \ + Tools/res_blacklist.ML \ Tools/res_clause.ML \ Tools/res_hol_clause.ML \ Tools/res_reconstruct.ML \