# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 6dca961c132f01485fe3b34223b9a34df361fb0a
input_heaps:
7806f52011c4fba77600ca1870d3593b29503323
0b34bf6c01a8dc56802d20fdd0cc844755a7d424
8495d41b4c2936500dbbe0cb112a3fbc7c8586ce


