# HG changeset patch
# User haftmann
# Date 1169713965 -3600
# Node ID 65e26e8938181a6f20399c2ff1be742593addf99
# Parent  1a3575de2afc50086d5ebc87e77939897c0d4371
not importing NestedEnvironment

diff -r 1a3575de2afc -r 65e26e893818 src/HOL/ex/ExecutableContent.thy
--- a/src/HOL/ex/ExecutableContent.thy	Thu Jan 25 09:32:42 2007 +0100
+++ b/src/HOL/ex/ExecutableContent.thy	Thu Jan 25 09:32:45 2007 +0100
@@ -15,7 +15,7 @@
   List_Prefix
   Nat_Infinity
   NatPair
-  Nested_Environment
+  (*Nested_Environment*)
   Permutation
   Primes
   Product_ord