| drwxr-xr-x | [up] | |||
| drwxr-xr-x | Manual | files | ||
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 1940 | Eventuallize.thy | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 666 | Inst_Existentials.thy | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 1556 | Lazy_Eval.thy | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 267065 | Multiseries_Expansion.thy | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 35530 | Multiseries_Expansion_Bounds.thy | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 3165 | Real_Asymp.thy | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 5869 | Real_Asymp_Approx.thy | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 28599 | Real_Asymp_Examples.thy | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 9130 | asymptotic_basis.ML | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 28884 | exp_log_expression.ML | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 1406 | expansion_interface.ML | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 540 | inst_existentials.ML | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 8232 | lazy_eval.ML | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 100399 | multiseries_expansion.ML | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 79452 | multiseries_expansion_bounds.ML | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 8317 | real_asymp.ML | file | revisions | annotate |
| -rw-r--r-- | 2018-11-23 16:43 +0100 | 10877 | real_asymp_diag.ML | file | revisions | annotate |