# isabelle_session_info

session_name: HOL-Real_Asymp-Manual
sources: 6f35c1b4bd80f79556b4b847b18210cb8bae3a57
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
05a03eacc3059078cac786ce4b0187a596b54f20
5218efa75a4f85e821a4185742216327d4ff5dc7


