diff -r 003dff7410c1 -r c92850d2d16c src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Tue Sep 02 22:20:27 2008 +0200
+++ b/src/HOL/Library/Library.thy	Tue Sep 02 22:37:20 2008 +0200
@@ -28,7 +28,6 @@
   Infinite_Set
   ListVector
   Multiset
-  NatPair
   Nat_Infinity
   Nested_Environment
   Numeral_Type