--- a/src/HOL/IsaMakefile Mon Nov 06 16:28:31 2006 +0100
+++ b/src/HOL/IsaMakefile Mon Nov 06 16:28:33 2006 +0100
@@ -206,7 +206,7 @@
Library/EfficientNat.thy Library/ExecutableSet.thy Library/ExecutableRat.thy \
Library/MLString.thy Library/Infinite_Set.thy \
Library/FuncSet.thy Library/Library.thy \
- Library/List_Prefix.thy Library/Multiset.thy Library/NatPair.thy \
+ Library/List_Prefix.thy Library/State_Monad.thy Library/Multiset.thy Library/NatPair.thy \
Library/Permutation.thy Library/Primes.thy Library/Quotient.thy \
Library/Nat_Infinity.thy Library/Word.thy Library/word_setup.ML \
Library/README.html Library/Continuity.thy \