# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 0d4a46a1ebb2fbf3d455deaf509719371ebd49af
input_heaps:
f410984a54e8ba069c9e13dd4899d9aafe342178
8aa4aaaf92552fb4ece64319d36b5e8dd169beee
92e4a4351310c9eef1a74b4f838e66468cd258c9


