src/HOL/ex/ExecutableContent.thy
changeset 24423 ae9cd0e92423
parent 24197 c9e3cb5e5681
child 24433 4a405457e9d6
     1.1 --- a/src/HOL/ex/ExecutableContent.thy	Fri Aug 24 14:14:18 2007 +0200
     1.2 +++ b/src/HOL/ex/ExecutableContent.thy	Fri Aug 24 14:14:20 2007 +0200
     1.3 @@ -19,7 +19,7 @@
     1.4    List_Prefix
     1.5    Nat_Infinity
     1.6    NatPair
     1.7 -  Nested_Environment
     1.8 +  (*Nested_Environment*)
     1.9    Permutation
    1.10    Primes
    1.11    Product_ord