History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Real_Asymp/Multiseries_Expansion_Bounds.thy
Revision Date Author Comments
# a4784f6f 09-Oct-2019 haftmann <none@none>

dedicated fact collections for algebraic simplification rules potentially splitting goals

--HG--
extra : rebase_source : ebbd8d0c13409f8fb536c42910e904c24e43dbe6
# 6985f7d6 15-Jul-2018 Manuel Eberl <eberlm@in.tum.de>

Added Real_Asymp package