# HG changeset patch
# User wenzelm
# Date 942316151 -3600
# Node ID 8916ea9ec178714616671197b06881e05280a26a
# Parent  c29e27ee4933c67e06e0d81778303ec48b7d74ef
clean target;

diff -r c29e27ee4933 -r 8916ea9ec178 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Nov 11 11:27:31 1999 +0100
+++ b/src/HOL/IsaMakefile	Thu Nov 11 11:29:11 1999 +0100
@@ -454,7 +454,7 @@
 clean:
 	@rm -f $(OUT)/HOL $(OUT)/HOL-Real $(LOG)/HOL.gz $(LOG)/HOL-Subst.gz \
 	  $(LOG)/HOL-Induct.gz $(LOG)/HOL-IMP.gz $(LOG)/HOL-Hoare.gz \
-	  $(LOG)/HOL-Lex.gz $(LOG)/HOL-Auth.gz $(LOG)/HOL-UNITY.gz \
+	  $(LOG)/HOL-Lex.gz $(LOG)/HOL-Algebra.gz $(LOG)/HOL-Auth.gz $(LOG)/HOL-UNITY.gz \
 	  $(LOG)/HOL-Modelcheck.gz $(LOG)/HOL-Lambda.gz \
 	  $(LOG)/HOL-W0.gz $(LOG)/HOL-MiniML.gz $(LOG)/HOL-BCV.gz $(LOG)/HOL-IOA.gz \
 	  $(LOG)/HOL-AxClasses-Group.gz		\