isabelle update -u control_cartouches;
Prefix form of infix with * on either side no longer needs special treatment because (* and *) are no longer comment brackets in terms.
Added Real_Asymp package