avoid stateful operations in virtual bootstrap, which presumably causes occasional crash of drule.ML due to inner syntax pp;
theory Multivariate_Analysis
imports
Fashoda
Extended_Real_Limits
Determinants
Homeomorphism
Ordered_Euclidean_Space
Bounded_Continuous_Function
Weierstrass
Polytope
Conformal_Mappings
Generalised_Binomial_Theorem
Gamma
begin
end