# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 7ae39f63ef2d0456bb962a3667e2fcd247f9820d
input_heaps:
1fdedf6012a4ebc6e40000ef24a132020cf3202d
6607fa2666df38d37eeb7f85fc4e19a3f5c65593
33006140b7368977d359bf33de8c660669466554


