# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: ff8e2d7217ce1c1ac270169da44901e37bbd2604
input_heaps:
5904106a4d189718a398af4707433146ca1890af
45bddc69c5b5116a3b7296b1901d051f8dbd9620
1a7459c1d3f4091aecdfc39c2e7efe5dcac0a009


