src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Sat Jun 09 08:44:04 2001 +0200
+++ b/src/HOL/Library/Library.thy	Sat Jun 09 14:18:19 2001 +0200
@@ -10,6 +10,7 @@
   Continuity +
   Multiset +
   Permutation +
+  Primes +
   While_Combinator:
 end
 (*>*)