# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 2332ccfbbbfd71e388008ccf8e5f8e57fdf75653
input_heaps:
8a6a1967a85148d05149fc8f258f22e5ae5ca538
5117ce8f6723f2ccc7d4abf78308ec3ff8c833f8
c8c85aa3dfbec63e95f14f49f14d4d33af8c7701


