| .. | | 25-Jul-2019 | 169 |
| asymptotic_basis.ML | H A D | 25-Jul-2019 | 8.9 KiB |
| Eventuallize.thy | H A D | 25-Jul-2019 | 1.9 KiB |
| exp_log_expression.ML | H A D | 25-Jul-2019 | 28.2 KiB |
| expansion_interface.ML | H A D | 25-Jul-2019 | 1.4 KiB |
| inst_existentials.ML | H A D | 25-Jul-2019 | 540 |
| Inst_Existentials.thy | H A D | 25-Jul-2019 | 666 |
| lazy_eval.ML | H A D | 25-Jul-2019 | 8 KiB |
| Lazy_Eval.thy | H A D | 25-Jul-2019 | 1.5 KiB |
| Manual/ | H | 25-Jul-2019 | 4 |
| multiseries_expansion.ML | H A D | 25-Jul-2019 | 98 KiB |
| Multiseries_Expansion.thy | H A D | 25-Jul-2019 | 260.8 KiB |
| multiseries_expansion_bounds.ML | H A D | 25-Jul-2019 | 77.6 KiB |
| Multiseries_Expansion_Bounds.thy | H A D | 25-Jul-2019 | 34.7 KiB |
| real_asymp.ML | H A D | 25-Jul-2019 | 8.1 KiB |
| Real_Asymp.thy | H A D | 25-Jul-2019 | 3.1 KiB |
| Real_Asymp_Approx.thy | H A D | 25-Jul-2019 | 5.7 KiB |
| real_asymp_diag.ML | H A D | 25-Jul-2019 | 10.6 KiB |
| Real_Asymp_Examples.thy | H A D | 25-Jul-2019 | 27.9 KiB |