# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 45bffbbfb8ac63dcd8bda1e00e6e7b16549cc6b8
uuid: 0a6c1878-1f54-4ccb-a900-f3a74e8db679
input_heaps:
f120b186b8c94c8dfd968762788edb0b6c1f4705
45a65a42f2948aee1b7614aa26f30387ccd4133d
db0f97f919e7390f7386f62f28a1c65f026f7a24


