Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/Library.thy
changeset 14365 3d4df8c166ae
parent 14266 08b34c902618
child 14494 48ae8d678d88 
--- a/src/HOL/Library/Library.thy	Tue Jan 27 09:44:14 2004 +0100
+++ b/src/HOL/Library/Library.thy	Tue Jan 27 15:39:51 2004 +0100
@@ -2,7 +2,6 @@
 theory Library =
   Quotient +
   Nat_Infinity +
-  Rational_Numbers +
   List_Prefix +
   Nested_Environment +
   Accessible_Part +
isabelle