src/HOL/Library/Library.thy
changeset 26348 0f8e23edd357
parent 26272 d63776c3be97
child 27298 a5373b60e66c
     1.1 --- a/src/HOL/Library/Library.thy	Thu Mar 20 12:01:09 2008 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Mar 20 12:01:10 2008 +0100
     1.3 @@ -18,6 +18,7 @@
     1.4    Countable
     1.5    Dense_Linear_Order
     1.6    Efficient_Nat
     1.7 +  Enum
     1.8    Eval
     1.9    Eval_Witness
    1.10    Executable_Set