# isabelle_session_info

session_name: HOL-Real_Asymp-Manual
sources: 98fc08c5b9847ba0ea30d043c8f69e10f864ea5c
input_heaps:
87d722a51b70602a06e4a7b7d793ad6a8bd08e87
b7feff3cf6fa551286ad5206b08f8a4505f29591
f0156d7f98beddc90cc67222af4b6fb8e9b68f03


