H
O
L
-
R
eal_
A
symp
Lazy_Eval
Inst_Existentials
Eventuallize
Multiseries_Expansion
Multiseries_Expansion_Bounds
Real_Asymp
Real_Asymp_Approx
Real_Asymp_Examples