Session HOL-Real_Asymp
View
theory dependencies
Theories
Lazy_Eval
File ‹lazy_eval.ML›
Inst_Existentials
File ‹inst_existentials.ML›
Eventuallize
Multiseries_Expansion
File ‹asymptotic_basis.ML›
File ‹exp_log_expression.ML›
File ‹expansion_interface.ML›
File ‹multiseries_expansion.ML›
File ‹real_asymp.ML›
Multiseries_Expansion_Bounds
File ‹multiseries_expansion_bounds.ML›
Real_Asymp
File ‹real_asymp_diag.ML›
Real_Asymp_Approx
Real_Asymp_Examples