# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 5dc51a6f3e351255b6077c806039142ecc1a298d
input_heaps:
27f83cb75cdd20c60083d6072d302ef3062f314e
dd918606b85bd653685a072b9f3f02b489037476
e6962512a792eb315512d70dca0ef98c33b826d6


