src/HOL/Library/Library.thy
changeset 19605 67e6b4759b37
parent 19564 d3e2f532459a
child 20400 0ad2f3bbd4f0
     1.1 --- a/src/HOL/Library/Library.thy	Tue May 09 10:11:47 2006 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue May 09 10:13:09 2006 +0200
     1.3 @@ -5,6 +5,7 @@
     1.4    Continuity
     1.5    EfficientNat
     1.6    ExecutableSet
     1.7 +  ExecutableRat
     1.8    FuncSet
     1.9    Multiset
    1.10    NatPair