# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: e441616665b0ed43acdffff626cf1a823b20b68f
input_heaps:
afe3ac5b2f1ccd4ee39b4084c0404b49633619f4
9667bd32359176938fbbb554574cadb8629e92e6
45e24da0d6398ca8239df03592bef34a7971a55e


