# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 615779b6e129147c826bbeee48eb35332bba0b44
input_heaps:
2a442dabf4b3c56f5ef63570355cf4d112862e5d
c838443c8c2354d6d1cdbcfd20c3d57dfd9fd4f7
aca12e503ad8ebbc679e331e6326961b43bab703


