1.1 --- a/src/HOL/IsaMakefile Thu Nov 11 11:27:31 1999 +0100
1.2 +++ b/src/HOL/IsaMakefile Thu Nov 11 11:29:11 1999 +0100
1.3 @@ -454,7 +454,7 @@
1.4 clean:
1.5 @rm -f $(OUT)/HOL $(OUT)/HOL-Real $(LOG)/HOL.gz $(LOG)/HOL-Subst.gz \
1.6 $(LOG)/HOL-Induct.gz $(LOG)/HOL-IMP.gz $(LOG)/HOL-Hoare.gz \
1.7 - $(LOG)/HOL-Lex.gz $(LOG)/HOL-Auth.gz $(LOG)/HOL-UNITY.gz \
1.8 + $(LOG)/HOL-Lex.gz $(LOG)/HOL-Algebra.gz $(LOG)/HOL-Auth.gz $(LOG)/HOL-UNITY.gz \
1.9 $(LOG)/HOL-Modelcheck.gz $(LOG)/HOL-Lambda.gz \
1.10 $(LOG)/HOL-W0.gz $(LOG)/HOL-MiniML.gz $(LOG)/HOL-BCV.gz $(LOG)/HOL-IOA.gz \
1.11 $(LOG)/HOL-AxClasses-Group.gz \