# isabelle_session_info

session_name: HOL-Real_Asymp-Manual
sources: c106b7782b7d486e4d187b8f9e3ab6de2b5aeee2
input_heaps:
9aadd396dde0a279b6a4eb62f8f2ff37640b410b
0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535
4dbef624beee6f06199dc2b662b3f41bf711334f


