| changeset 39951 | ff60a6e4edfe |
| parent 39948 | 317010af8972 |
| child 40067 | 0783415ed7f0 |
--- a/src/HOL/IsaMakefile Tue Oct 05 10:59:12 2010 +0200 +++ b/src/HOL/IsaMakefile Tue Oct 05 11:10:37 2010 +0200 @@ -234,6 +234,7 @@ @$(ISABELLE_TOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \ + ATP.thy \ Big_Operators.thy \ Code_Evaluation.thy \ Code_Numeral.thy \