# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 02b4ea26d64328b3ff7629ffd6ad316d2b1eb818
input_heaps:
f6cc2b145d15d262c0afc0172602b425d350b305
915e856effcd369d052d31f552bc63efb2f10515
86ad1c3305aa6f4a2209b25fe66534686649ba04


