# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 2eee6e0f1bcccf71133cbbb645e47cf4315854c8
input_heaps:
d2241105d59f024a1ed91dd402ce7df32b8647fc
03456ed43f3268cce21b507c83b43956efbf99ef
a1f7a1048a566457a990a10c7f41234ea373e8a1


