--- a/src/HOL/IsaMakefile Sun Nov 06 14:20:41 2011 +0100
+++ b/src/HOL/IsaMakefile Sun Nov 06 16:22:26 2011 +0100
@@ -1299,11 +1299,12 @@
HOL-Statespace: HOL $(LOG)/HOL-Statespace.gz
-$(LOG)/HOL-Statespace.gz: $(OUT)/HOL Statespace/DistinctTreeProver.thy \
- Statespace/StateFun.thy Statespace/StateSpaceLocale.thy \
- Statespace/StateSpaceSyntax.thy Statespace/StateSpaceEx.thy \
- Statespace/distinct_tree_prover.ML Statespace/state_space.ML \
- Statespace/state_fun.ML Statespace/document/root.tex
+$(LOG)/HOL-Statespace.gz: $(OUT)/HOL Statespace/ROOT.ML \
+ Statespace/DistinctTreeProver.thy Statespace/StateFun.thy \
+ Statespace/StateSpaceLocale.thy Statespace/StateSpaceSyntax.thy \
+ Statespace/StateSpaceEx.thy Statespace/distinct_tree_prover.ML \
+ Statespace/state_space.ML Statespace/state_fun.ML \
+ Statespace/document/root.tex
@$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Statespace