proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f);
theory
Multivariate_Analysis
imports
Ordered_Euclidean_Space
Determinants
Cross3
Lipschitz
Starlike
begin
text \<open>Entry point excluding integration and complex analysis.\<close>
end