History log of /seL4-l4v-master/isabelle/src/HOL/Real_Asymp/exp_log_expression.ML
Revision Date Author Comments
# ed7a971e 05-Jan-2019 wenzelm <none@none>

isabelle update -u control_cartouches;
# cc37beb1 24-Sep-2018 nipkow <none@none>

Prefix form of infix with * on either side no longer needs special treatment
because (* and *) are no longer comment brackets in terms.
# 6985f7d6 15-Jul-2018 Manuel Eberl <eberlm@in.tum.de>

Added Real_Asymp package