# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 4bc1af806b105317f7ea7dc6b4ab0349fdd4c057
input_heaps:
73b97324401a390af5292cba94f0564c556fe305
6001243685746f1a1a24fa4ab39f70a8f5ce39cb
7c732868505ee4149529073649ec9819b1491b77


