
diff -r 28824746d046 -r 40a4768c8e0b src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Thu Jul 24 16:36:29 2003 +0200
+++ b/src/HOL/Library/Library.thy	Thu Jul 24 16:37:04 2003 +0200
@@ -10,6 +10,7 @@
   Continuity +
   Multiset +
   Permutation +
+  NatPair +
   Primes +
   While_Combinator:
 end




