# isabelle_session_info

session_name: HOL-Real_Asymp-Manual
sources: 3ce89107885b6c49abb8236a79cf57eee504c2d6
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
68e24fa803389d76024c730e22fc9263ebe14aa0
3fa3be7551b8e31c1957938b078b69dbdce03ce8


