added ExecutableRat.thy
authorhaftmann
Tue May 09 10:13:09 2006 +0200 (2006-05-09)
changeset 1960567e6b4759b37
parent 19604 02f5fbdd5c54
child 19606 01e23aa70d3a
added ExecutableRat.thy
src/HOL/Library/Library.thy
     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