# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: a0085b11f5033a1eed84df1df85a6adc122afee9
input_heaps:
863a98e2ca0ada59f7d1a7547b41b938956950f0
f61d89c27a3d78dd37ec1f9a26967b1c333aa3dd
452538892d492054395ec6a33b59920311ae7d7f


