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/Multivariate_Analysis/Derivative.thy
changeset 36432 1ad1cfeaec2d
parent 36431 340755027840
child 36433 6e5bfa8daa88 
--- a/src/HOL/Multivariate_Analysis/Derivative.thy	Mon Apr 26 12:19:57 2010 -0700
+++ b/src/HOL/Multivariate_Analysis/Derivative.thy	Mon Apr 26 15:22:03 2010 -0700
@@ -6,7 +6,7 @@
 header {* Multivariate calculus in Euclidean space. *}
 
 theory Derivative
-imports Brouwer_Fixpoint RealVector
+imports Brouwer_Fixpoint Vec1 RealVector
 begin
isabelle