NameDateSize

..30-Oct-2020171

asymptotic_basis.MLH A D25-Jul-20199 KiB

Eventuallize.thyH A D25-Jul-20192 KiB

exp_log_expression.MLH A D25-Jul-201929.5 KiB

expansion_interface.MLH A D25-Jul-20191.4 KiB

inst_existentials.MLH A D25-Jul-2019540

Inst_Existentials.thyH A D25-Jul-2019679

lazy_eval.MLH A D25-Jul-20198 KiB

Lazy_Eval.thyH A D25-Jul-20191.5 KiB

Manual/H25-Jul-20194

multiseries_expansion.MLH A D25-Jul-201999.8 KiB

Multiseries_Expansion.thyH A D30-Oct-2020261 KiB

multiseries_expansion_bounds.MLH A D25-Jul-201977.9 KiB

Multiseries_Expansion_Bounds.thyH A D30-Oct-202034.7 KiB

real_asymp.MLH A D25-Jul-20198.5 KiB

Real_Asymp.thyH A D25-Jul-20193.1 KiB

Real_Asymp_Approx.thyH A D25-Jul-20196.1 KiB

real_asymp_diag.MLH A D30-Oct-202011.4 KiB

Real_Asymp_Examples.thyH A D30-Oct-202028.1 KiB