# HG changeset patch
# User wenzelm
# Date 980464790 -3600
# Node ID 8d37c8befbe66db1be6650ee6e12819830e7132e
# Parent  0a45f2efaaecc9142c5bf0bdc11eac4f70d6a5de
tuned;

diff -r 0a45f2efaaec -r 8d37c8befbe6 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Jan 26 00:15:36 2001 +0100
+++ b/src/HOL/IsaMakefile	Fri Jan 26 00:19:50 2001 +0100
@@ -576,4 +576,4 @@
 		$(LOG)/HOL-Lattice $(LOG)/HOL-Real-ex.gz \
 		$(LOG)/HOL-Real-HahnBanach.gz $(LOG)/TLA-Inc.gz \
 		$(LOG)/TLA-Buffer.gz $(LOG)/TLA-Memory.gz \
-		$(LOG)/HOL-Library.gz 
+		$(LOG)/HOL-Library.gz $(LOG)/HOL-Unix.gz