# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: e483fe7ce3b0ee541cf649c80f00cb170a7edaf8
input_heaps:
924cb62a75d1c3d60e07b1a488e345253c696750
64c0a35383da60b6bd894ca4c0863bd690715557
7426f8baad84dfd62cbada54b18982345ad09433


