# HG changeset patch
# User wenzelm
# Date 940872271 -7200
# Node ID 9c20924de52c2b60c7f67a6c28d8f439d534cbfe
# Parent  8c50b68b890be3b30e1fcf61477d08564b583a4b
added Real/HahnBanach/document/root.bib;

diff -r 8c50b68b890b -r 9c20924de52c src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Oct 22 21:50:12 1999 +0200
+++ b/src/HOL/IsaMakefile	Mon Oct 25 19:24:31 1999 +0200
@@ -107,7 +107,7 @@
   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.tex
+  Real/HahnBanach/document/root.bib Real/HahnBanach/document/root.tex
 	@cd Real; $(ISATOOL) usedir $(OUT)/HOL-Real HahnBanach