# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: d05613b8a02de7de10edd03f8615be208d72c8e7
input_heaps:
07893eec13dd609290ead753526cddcabc430222
3d71068ded37e22e7adcd9665120386e15943393
6b7f209e2810a72079facb7ec9f7e9abaf860775


