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.
full import paths
authorhuffman
Wed, 10 Aug 2011 08:42:26 -0700
changeset 44132 0f35a870ecf1
parent 44131 5fc334b94e00
child 44133 691c52e900ca
full import paths
src/HOL/Multivariate_Analysis/Convex_Euclidean_Space.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Multivariate_Analysis/Convex_Euclidean_Space.thy	Wed Aug 10 01:36:53 2011 -0700
+++ b/src/HOL/Multivariate_Analysis/Convex_Euclidean_Space.thy	Wed Aug 10 08:42:26 2011 -0700
@@ -6,7 +6,10 @@
 header {* Convex sets, functions and related things. *}
 
 theory Convex_Euclidean_Space
-imports Topology_Euclidean_Space Convex "~~/src/HOL/Library/Set_Algebras"
+imports
+  Topology_Euclidean_Space
+  "~~/src/HOL/Library/Convex"
+  "~~/src/HOL/Library/Set_Algebras"
 begin
isabelle