# HG changeset patch
# User haftmann
# Date 1147162389 -7200
# Node ID 67e6b4759b3780e4261a85e7d2ccc6ae1c6e3590
# Parent  02f5fbdd5c54e0d9f23375c20d7ea21b0280bc50
added ExecutableRat.thy

diff -r 02f5fbdd5c54 -r 67e6b4759b37 src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Tue May 09 10:11:47 2006 +0200
+++ b/src/HOL/Library/Library.thy	Tue May 09 10:13:09 2006 +0200
@@ -5,6 +5,7 @@
   Continuity
   EfficientNat
   ExecutableSet
+  ExecutableRat
   FuncSet
   Multiset
   NatPair