drwxr-xr-x | [up] | |||
drwxr-xr-x | Manual | files | ||
-rw-r--r-- | 2022-11-24 10:02 +0100 | 2005 | Eventuallize.thy | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 679 | Inst_Existentials.thy | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 1556 | Lazy_Eval.thy | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 267211 | Multiseries_Expansion.thy | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 35535 | Multiseries_Expansion_Bounds.thy | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 3165 | Real_Asymp.thy | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 6276 | Real_Asymp_Approx.thy | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 28765 | Real_Asymp_Examples.thy | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 9249 | asymptotic_basis.ML | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 30142 | exp_log_expression.ML | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 1406 | expansion_interface.ML | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 540 | inst_existentials.ML | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 8232 | lazy_eval.ML | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 102198 | multiseries_expansion.ML | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 79762 | multiseries_expansion_bounds.ML | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 8545 | real_asymp.ML | file | revisions | annotate |
-rw-r--r-- | 2022-11-24 10:02 +0100 | 11704 | real_asymp_diag.ML | file | revisions | annotate |