src/HOL/Library/Library.thy
changeset 22981 cf071f3fc4ae
parent 22799 ed7d53db2170
child 23100 1c84d7294d5b
     1.1 --- a/src/HOL/Library/Library.thy	Tue May 15 18:20:07 2007 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue May 15 18:28:02 2007 +0200
     1.3 @@ -12,6 +12,7 @@
     1.4    EfficientNat
     1.5    Eval
     1.6    ExecutableRat
     1.7 +  Executable_Real
     1.8    ExecutableSet
     1.9    FuncSet
    1.10    GCD