# HG changeset patch
# User wenzelm
# Date 976131936 -3600
# Node ID ad39ca9477d5a330170caf1753d02882e1c241e8
# Parent  163b265d3d83819ccbaee67c1a348c2de1af564c
Rational_Numbers;

diff -r 163b265d3d83 -r ad39ca9477d5 src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Wed Dec 06 20:45:08 2000 +0100
+++ b/src/HOL/Library/Library.thy	Wed Dec 06 20:45:36 2000 +0100
@@ -1,8 +1,9 @@
 (*<*)
 theory Library =
-  List_Prefix +
   Quotient +
   Ring_and_Field +
+  Rational_Numbers +
+  List_Prefix +
   Accessible_Part +
   Multiset +
   While_Combinator + While_Combinator_Example: