# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: fa1bfb9d64a2db148ba1259c12ee9c53c9a331ef
input_heaps:
d5c32f798d9322f44635e87a68b325071c15ce5e
8cfb939097b42be473a6f81320c8bde51d22adb6
a4cecf5f84031b188abc56fb53f34f02d5b10bcb


