| changeset 10981 | 8d37c8befbe6 |
| parent 10980 | 0a45f2efaaec |
| child 10985 | 65a8a0e2d55b |
--- 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