--- a/src/HOL/IsaMakefile Sun Mar 13 22:55:50 2011 +0100
+++ b/src/HOL/IsaMakefile Sun Mar 13 23:12:38 2011 +0100
@@ -992,15 +992,14 @@
HOL-Bali: HOL $(LOG)/HOL-Bali.gz
-$(LOG)/HOL-Bali.gz: $(OUT)/HOL Bali/Bali.thy Bali/AxCompl.thy \
- Bali/AxExample.thy Bali/AxSem.thy Bali/AxSound.thy Bali/Basis.thy \
- Bali/Conform.thy Bali/Decl.thy Bali/DeclConcepts.thy Bali/Eval.thy \
- Bali/Evaln.thy Bali/Example.thy Bali/Name.thy Bali/ROOT.ML \
- Bali/State.thy Bali/Table.thy Bali/Term.thy Bali/Trans.thy \
- Bali/Type.thy Bali/TypeRel.thy Bali/TypeSafe.thy Bali/Value.thy \
- Bali/WellForm.thy Bali/DefiniteAssignment.thy \
- Bali/DefiniteAssignmentCorrect.thy Bali/WellType.thy \
- Bali/document/root.tex
+$(LOG)/HOL-Bali.gz: $(OUT)/HOL Bali/AxCompl.thy Bali/AxExample.thy \
+ Bali/AxSem.thy Bali/AxSound.thy Bali/Basis.thy Bali/Conform.thy \
+ Bali/Decl.thy Bali/DeclConcepts.thy Bali/Eval.thy Bali/Evaln.thy \
+ Bali/Example.thy Bali/Name.thy Bali/ROOT.ML Bali/State.thy \
+ Bali/Table.thy Bali/Term.thy Bali/Trans.thy Bali/Type.thy \
+ Bali/TypeRel.thy Bali/TypeSafe.thy Bali/Value.thy Bali/WellForm.thy \
+ Bali/DefiniteAssignment.thy Bali/DefiniteAssignmentCorrect.thy \
+ Bali/WellType.thy Bali/document/root.tex
@$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Bali