-> HOL-Complex-HahnBanach in clean target
authorkleing
Thu May 08 13:37:51 2003 +0200 (2003-05-08)
changeset 139828abae6b7084c
parent 13981 70ff42d498c0
child 13983 afc0dadddaa4
-> HOL-Complex-HahnBanach in clean target
src/HOL/IsaMakefile
     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