src/HOL/Library/Library.thy
changeset 11055 b84dd2c25a1c
parent 10984 8f49dcbec859
child 11349 fcb507c945c3
     1.1 --- a/src/HOL/Library/Library.thy	Sun Feb 04 19:42:54 2001 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Sun Feb 04 19:43:15 2001 +0100
     1.3 @@ -7,6 +7,7 @@
     1.4    Nested_Environment +
     1.5    Accessible_Part +
     1.6    Multiset +
     1.7 +  Permutation +
     1.8    While_Combinator:
     1.9  end
    1.10  (*>*)