# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 9ec12b8d41d1a4af11d6902b792f7f0cc467ec55
input_heaps:
e6482372651d25cfcd88b33f1b222ef5cdb71889
fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc
1b10b967138f7eb2481d773f6f357c30ef1b1e38


