# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: b28c1fc7d8416a77ab638dcba70933a5a28a7597
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
8f8d0fffa5fdb4511add40460d5063d790eebb42


