dedicated fact collections for algebraic simplification rules potentially splitting goals --HG-- extra : rebase_source : ebbd8d0c13409f8fb536c42910e904c24e43dbe6
isabelle update -u control_cartouches;
eliminated spurious Unicode;
Added Real_Asymp package