# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 052714bd9a0183da2273840e3d98bb25973c8e89
input_heaps:
35a6500ee753652c800a7917e32731ca9b81ba08
09b9a8ab7b35d71c17424618f69192731fdaeeca
9bcc910788bd32ee75866814739a56f14c1632e2


