# HG changeset patch
# User wenzelm
# Date 941308741 -7200
# Node ID e6fcb279fdbe3d465b54c8afea54373bb25ff9f3
# Parent  86c0cc789f613e56904f798413296a2eb56590df
fixed deps;

diff -r 86c0cc789f61 -r e6fcb279fdbe src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sat Oct 30 20:32:04 1999 +0200
+++ b/src/HOL/IsaMakefile	Sat Oct 30 20:39:01 1999 +0200
@@ -107,7 +107,9 @@
   Real/HahnBanach/README.html Real/HahnBanach/ROOT.ML \
   Real/HahnBanach/Subspace.thy Real/HahnBanach/VectorSpace.thy \
   Real/HahnBanach/ZornLemma.thy Real/HahnBanach/document/notation.tex \
-  Real/HahnBanach/document/root.bib Real/HahnBanach/document/root.tex
+  Real/HahnBanach/document/bbb.sty Real/HahnBanach/document/root.bib \
+  Real/HahnBanach/document/root.tex \
+  Real/HahnBanach/document/notation.tex
 	@cd Real; $(ISATOOL) usedir $(OUT)/HOL-Real HahnBanach