src/HOL/ex/ExecutableContent.thy
changeset 24433 4a405457e9d6
parent 24423 ae9cd0e92423
child 24530 1bac25879117
     1.1 --- a/src/HOL/ex/ExecutableContent.thy	Mon Aug 27 08:31:01 2007 +0200
     1.2 +++ b/src/HOL/ex/ExecutableContent.thy	Mon Aug 27 11:34:14 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