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 51338 054d1653950f
parent 51263 31e786e0e6a7
child 51382 51957d006677 
--- a/src/HOL/Library/Library.thy	Tue Mar 05 10:16:15 2013 +0100
+++ b/src/HOL/Library/Library.thy	Tue Mar 05 15:26:57 2013 +0100
@@ -17,7 +17,7 @@
   Diagonal_Subsequence
   Dlist
   Eval_Witness
-  Extended_Nat
+  Extended Extended_Nat Extended_Real
   FinFun
   Float
   Formal_Power_Series
isabelle