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 43146 09f74fda1b1d
parent 43124 fdb7e1d5f762
child 43241 93b1183e43e5 
--- a/src/HOL/Library/Library.thy	Wed Jun 01 23:08:04 2011 +0200
+++ b/src/HOL/Library/Library.thy	Thu Jun 02 08:55:08 2011 +0200
@@ -13,7 +13,7 @@
   Convex
   Countable
   Diagonalize
-  Dlist
+  Dlist_Cset
   Eval_Witness
   Float
   Formal_Power_Series
isabelle