History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Real_Asymp/real_asymp_diag.ML
Revision Date Author Comments
# 4bad625f 03-Jun-2019 wenzelm <none@none>

clarified signature;
# ed7a971e 05-Jan-2019 wenzelm <none@none>

isabelle update -u control_cartouches;
# 81eb2881 28-Aug-2018 wenzelm <none@none>

tuned;
# 6985f7d6 15-Jul-2018 Manuel Eberl <eberlm@in.tum.de>

Added Real_Asymp package