# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 0d40b0b14662c63c41c03a48dcc61a5a792a990a
input_heaps:
a28a6255246f7ec3c5cd9330da6d3544dfc26850
8ecdc4166284eb6c1c9af75e52995b5452e4ba9f
3e6ad064c8e87d038db82ead4ef75445ff69d680


