# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 56a94fb64d4796fc3727fbba12358e0a5f7acd62
uuid: 5ed848e8-54d6-4478-9da6-01add3b78eab
input_heaps:
728364c96560a7a14ddc2e9263f9042c3dd467e5
f9339c00e61865f047b4085392acb528fb8b6ea7
cb485c4390f7367d4b180528b8c04720c3b40a64


