# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 31d5569a56b9a2d5b15081954f1f51dbe8084b1c
uuid: 3577787b-8ef7-4071-a3fb-dd8732d7a028
input_heaps:
df967e564b1dd685738ef86cd0afa6dc9321f892
c292a17d3779c1055ca2caeaa6ff13ebb8e1ea96
a3eec49cd7be558f830476b5fea1e87d8037e663


