# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 7587e1bf4a99d489d9bb91b830daa80f7d5b0ed2
input_heaps:
d519004ff6bb3b652fd959e65d131f041c2441da
a5e894086c290b5f34bdd176eedfdf0315b685d6
12ff05f303b2babde8d604772d7b4813a4938137


