# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: b41f905865af971de2b47b4e4bf7986797b6a952
input_heaps:
c7eca97fa6ef005cf19e871cc66dee919202f2f5
d7d8e72ec37a9d8fd658bf45be9f01f4c101427e
4fb063960691152c90f23ff49cf27b96504e78fd


