/src/HOL/Real_Asymp/ Isabelle2023
drwxr-xr-x [up]
drwxr-xr-x Manual
-rw-r--r-- 2023-09-11 19:30 +0200 2005 Eventuallize.thy
-rw-r--r-- 2023-09-11 19:30 +0200 679 Inst_Existentials.thy
-rw-r--r-- 2023-09-11 19:30 +0200 1556 Lazy_Eval.thy
-rw-r--r-- 2023-09-11 19:30 +0200 267211 Multiseries_Expansion.thy
-rw-r--r-- 2023-09-11 19:30 +0200 35535 Multiseries_Expansion_Bounds.thy
-rw-r--r-- 2023-09-11 19:30 +0200 3165 Real_Asymp.thy
-rw-r--r-- 2023-09-11 19:30 +0200 6276 Real_Asymp_Approx.thy
-rw-r--r-- 2023-09-11 19:30 +0200 28765 Real_Asymp_Examples.thy
-rw-r--r-- 2023-09-11 19:30 +0200 9249 asymptotic_basis.ML
-rw-r--r-- 2023-09-11 19:30 +0200 30172 exp_log_expression.ML
-rw-r--r-- 2023-09-11 19:30 +0200 1406 expansion_interface.ML
-rw-r--r-- 2023-09-11 19:30 +0200 540 inst_existentials.ML
-rw-r--r-- 2023-09-11 19:30 +0200 8232 lazy_eval.ML
-rw-r--r-- 2023-09-11 19:30 +0200 102197 multiseries_expansion.ML
-rw-r--r-- 2023-09-11 19:30 +0200 79762 multiseries_expansion_bounds.ML
-rw-r--r-- 2023-09-11 19:30 +0200 8545 real_asymp.ML
-rw-r--r-- 2023-09-11 19:30 +0200 11704 real_asymp_diag.ML