# isabelle_session_info

session_name: Abstract_Soundness
sources: 880b0d2e886c260b877c68d262de37002e41c0b7
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
51bca5798766ae8b6082d8e3253d02652fec4031
8c98a2ac0ea6f8dccb2c5500f9b5b1328559aae5


