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.
Series.thy is based on Limits.thy and not Deriv.thy
authorhoelzl
Tue, 26 Mar 2013 12:20:59 +0100
changeset 51528 66c3a7589de7
parent 51527 bd62e7ff103b
child 51529 2d2f59e6055a
Series.thy is based on Limits.thy and not Deriv.thy
src/HOL/Series.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Series.thy	Tue Mar 26 12:20:59 2013 +0100
+++ b/src/HOL/Series.thy	Tue Mar 26 12:20:59 2013 +0100
@@ -10,7 +10,7 @@
 header{*Finite Summation and Infinite Series*}
 
 theory Series
-imports Deriv
+imports Limits
 begin
 
 definition
isabelle