# ----------------------------------------------------
# >>>> Do not edit this file <<<<
# This file was automaticly generated by
# /home/otp/bin/docdepend
# ----------------------------------------------------


# ----------------------------------------------------
# TeX files that the DVI file depend on
# ----------------------------------------------------

book.dvi: book.tex conc_prog.tex intro.tex part.tex \
		records_macros.tex robustness.tex seq_prog.tex