src/HOL/IsaMakefile
changeset 13695 3e48dcd25746
parent 13682 91674c8a008b
child 13697 e4db4f06cec1
     1.1 --- a/src/HOL/IsaMakefile	Tue Nov 05 15:51:18 2002 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Nov 05 15:59:17 2002 +0100
     1.3 @@ -542,6 +542,7 @@
     1.4    Bali/Example.thy Bali/Name.thy Bali/ROOT.ML Bali/State.thy		\
     1.5    Bali/Table.thy Bali/Term.thy Bali/Trans.thy Bali/Type.thy		\
     1.6    Bali/TypeRel.thy Bali/TypeSafe.thy Bali/Value.thy Bali/WellForm.thy	\
     1.7 +  Bali/DefiniteAssignment.thy Bali/DefiniteAssignmentCorrect.thy \
     1.8    Bali/WellType.thy Bali/document/root.tex
     1.9  	@$(ISATOOL) usedir -g true $(OUT)/HOL Bali
    1.10