diff -r d98da4a40a79 -r 31b38a39e589 src/FOLP/IsaMakefile
--- a/src/FOLP/IsaMakefile	Sun Jan 27 20:04:31 2008 +0100
+++ b/src/FOLP/IsaMakefile	Sun Jan 27 20:04:32 2008 +0100
@@ -35,8 +35,8 @@
 
 FOLP-ex: FOLP $(LOG)/FOLP-ex.gz
 
-$(LOG)/FOLP-ex.gz: $(OUT)/FOLP ex/ROOT.ML ex/cla.ML ex/foundn.ML \
-  ex/If.ML ex/If.thy ex/int.ML ex/intro.ML ex/Nat.ML ex/Nat.thy \
+$(LOG)/FOLP-ex.gz: $(OUT)/FOLP ex/ROOT.ML ex/cla.ML ex/Foundation.thy \
+  ex/If.thy ex/int.ML ex/Intro.thy ex/Nat.thy \
   ex/Prolog.ML ex/Prolog.thy ex/prop.ML ex/quant.ML
 	@$(ISATOOL) usedir $(OUT)/FOLP ex