diff -r bfda3f3beccd -r 89a03048f312 doc-src/AxClass/IsaMakefile
--- a/doc-src/AxClass/IsaMakefile	Sat Jan 26 23:15:33 2008 +0100
+++ b/doc-src/AxClass/IsaMakefile	Sun Jan 27 18:32:32 2008 +0100
@@ -36,7 +36,7 @@
 FOL:
 	@cd $(SRC)/FOL; $(ISATOOL) make FOL
 
-$(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/NatClass.ML Nat/NatClass.thy
+$(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/NatClass.thy
 	@$(USEDIR) $(OUT)/FOL Nat
 	@rm -f Nat/document/*.sty Nat/document/session.tex