# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 7af23262018af396b050309f06f309029423f6a8
input_heaps:
5610ccee8d50c8faa0a1915bbb604219e8b432ad
13a2690af0797a50544cd9caf6a410f62a2c356a
06da9f6806310494140130b074de5295e901903a


