diff -r 003dff7410c1 -r c92850d2d16c src/HOL/ex/ExecutableContent.thy
--- a/src/HOL/ex/ExecutableContent.thy	Tue Sep 02 22:20:27 2008 +0200
+++ b/src/HOL/ex/ExecutableContent.thy	Tue Sep 02 22:37:20 2008 +0200
@@ -14,7 +14,6 @@
   Eval
   List_Prefix
   Nat_Infinity
-  NatPair
   Nested_Environment
   Option_ord
   Permutation