# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 2756b67be653a50650f359cc2bea96bcb0ceac9f
uuid: b40c5d78-fdc8-44f4-93a6-a94077cfe75b
input_heaps:
7c6f2b7437f5ebb54c9c7f19ce0aa45616568bd7
be8131a433bddd63b748362726e9657753469013
05f32bfcd6eec120f4eccffa7b08d823105c3181


