Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added Formal_Power_Series in imports
authorchaieb
Thu, 29 Jan 2009 14:56:29 +0000
changeset 29688 6ed9ac8410d8
parent 29687 4d934a895d11
child 29689 dd086f26ee4f
Added Formal_Power_Series in imports
src/HOL/Library/Library.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Library.thy	Thu Jan 29 14:56:29 2009 +0000
+++ b/src/HOL/Library/Library.thy	Thu Jan 29 14:56:29 2009 +0000
@@ -20,6 +20,7 @@
   Eval_Witness
   Executable_Set
   Float
+  Formal_Power_Series
   FuncSet
   Infinite_Set
   ListVector
isabelle