# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 4de5f3df94f0fcc215d71dc8e95f3bc9a438cd0d
uuid: ccf168c4-9899-44ed-bf87-600295cc665d
input_heaps:
a4cc56f347bef96df112454c282b70177f6a68a7
4e9596f9263a14a76ff98a57cfc31d0464e8134b
ad3e930216db79e4e86b0bb63c941741e5a09ab3


