# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 6ab4fd62ccbfdc114128fce39ce5172b0f5ce5da
input_heaps:
4663a55f367f6021a9d04b9b51a51d371f5748d6
643cda05baed70bc32c48479e948603981aaab65
af5b07f17f31cdfc9148040c5bc043a6b649571d


