# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 51216b3df5a1d6dc2e41174eaa5a217bf53d5311
input_heaps:
be5df6ecc97831ab26f150db4d5e1c990159d9d3
7843f235e3da3d82ada445f65814c4ce4af12915
022d6933075b6cf42ea700e51b31c0c7fb53a0b1


