src/HOL/IsaMakefile
changeset 13982 8abae6b7084c
parent 13980 f254d1c92a6a
child 13984 e055ba9020eb
     1.1 --- a/src/HOL/IsaMakefile	Thu May 08 13:36:07 2003 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu May 08 13:37:51 2003 +0200
     1.3 @@ -676,6 +676,6 @@
     1.4  		$(LOG)/HOL-Lattice \
     1.5  		$(LOG)/HOL-Complex.gz \
     1.6  		$(LOG)/HOL-Complex-ex.gz \
     1.7 -		$(LOG)/HOL-Real-HahnBanach.gz $(LOG)/TLA-Inc.gz \
     1.8 +		$(LOG)/HOL-Complex-HahnBanach.gz $(LOG)/TLA-Inc.gz \
     1.9  		$(LOG)/TLA-Buffer.gz $(LOG)/TLA-Memory.gz \
    1.10  		$(LOG)/HOL-Library.gz $(LOG)/HOL-Unix.gz