changeset 30096 | c5497842ee35 |
parent 30049 | 05354c653d3a |
child 30101 | 5c6efec476ae |
--- a/src/HOL/IsaMakefile Wed Feb 25 09:09:50 2009 -0800 +++ b/src/HOL/IsaMakefile Wed Feb 25 11:26:01 2009 -0800 @@ -267,6 +267,7 @@ @$(ISABELLE_TOOL) usedir -b -f main.ML -g true $(OUT)/Pure HOL-Main $(OUT)/HOL: ROOT.ML $(MAIN_DEPENDENCIES) \ + Archimedean_Field.thy \ Complex_Main.thy \ Complex.thy \ Deriv.thy \