# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 14133c65cf07d3b1b73e73d19032162c3ccdca32
input_heaps:
f056539175cfb01f3adb237e294cb6ec530013ac
5a3c236d3b3feb8e0a9ad2c8ad85346f3168f94c
bbaed84f95f788a18b27fe3e301654825d8d7f22


