diff -r 95b42e69436c -r 08b34c902618 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Nov 21 11:15:40 2003 +0100
+++ b/src/HOL/IsaMakefile	Mon Nov 24 15:33:07 2003 +0100
@@ -200,7 +200,7 @@
   Library/FuncSet.thy Library/Library.thy \
   Library/List_Prefix.thy Library/Multiset.thy Library/NatPair.thy \
   Library/Permutation.thy Library/Primes.thy Library/Quotient.thy \
-  Library/Ring_and_Field_Example.thy Library/Nat_Infinity.thy \
+  Library/Nat_Infinity.thy \
   Library/README.html Library/Continuity.thy \
   Library/Nested_Environment.thy Library/Rational_Numbers.thy \
   Library/Zorn.thy\