src/HOL/Library/Library.thy
changeset 10984 8f49dcbec859
parent 10947 1702ff26bbe1
child 11055 b84dd2c25a1c
     1.1 --- a/src/HOL/Library/Library.thy	Fri Jan 26 15:50:28 2001 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Fri Jan 26 15:50:52 2001 +0100
     1.3 @@ -7,6 +7,6 @@
     1.4    Nested_Environment +
     1.5    Accessible_Part +
     1.6    Multiset +
     1.7 -  While_Combinator + While_Combinator_Example:
     1.8 +  While_Combinator:
     1.9  end
    1.10  (*>*)