diff -r be3e2fa01b0f -r 3e48dcd25746 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue Nov 05 15:51:18 2002 +0100
+++ b/src/HOL/IsaMakefile	Tue Nov 05 15:59:17 2002 +0100
@@ -542,6 +542,7 @@
   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
 	@$(ISATOOL) usedir -g true $(OUT)/HOL Bali