1 (*
2 no_document use_thy "ThisTheory";
3 use_thy "ThatTheory";
4 *)
5
6 use_thy "Multivariate_Analysis";
1 use_thy "Multivariate_Analysis";