# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 7f86d9314fc94f5f5aec7b5c3a71bd354377a8bf
uuid: d6027a15-1ff1-4659-8c5b-56d651e8ede0
input_heaps:
8ad5a9031d6debdb25f6a2d28327df038ef77817
042a873bc4c2d063090ad7ae9e8eaa3e07053193
9a431e457a2cf438e55ba4c559d9d4cf70506ffc


