Mercurial Mercurial > repos > isabelle / comparison
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 33759 b369324fc244
parent 33758 53078b0d21f5
child 34103 9095ba4d2cd4
equal deleted inserted replaced
33758:53078b0d21f5 33759:b369324fc244 
     1 (*  Title:      HOL/Library/Convex_Euclidean_Space.thy
 
     1 (*  Title:      HOL/Library/Convex_Euclidean_Space.thy
 
     2     Author:                       John Harrison
 
     2     Author:                     John Harrison
 
     3     Translated to from HOL light: Robert Himmelmann, TU Muenchen *)
 
     3     Translation from HOL light: Robert Himmelmann, TU Muenchen *)
 
     4 
     4 
     5 header {* Multivariate calculus in Euclidean space. *}
 
     5 header {* Multivariate calculus in Euclidean space. *}
 
     6 
     6 
     7 theory Derivative
 
     7 theory Derivative
 
     8   imports Brouwer_Fixpoint RealVector
 
     8   imports Brouwer_Fixpoint RealVector
isabelle