# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 81cc63b666057800074b2c484e29d88e54cee509
input_heaps:
25ff2f0a6ec6649112bb7ba87e4694f74d8fcfd8
4b1bcd999efac6b00836aa12847098a98441fc74
a5713b10ca8370484e7eba790e075d6dc7869eec


