# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: b22cf35fc790a6e2c81104910063b681e55a54e7
input_heaps:
3dc9a63c78f63d335cfea55adc02c1d0848e7fcd
3a42a0f8b85512921c9c3b360b59eae7529e9460
315356b5eade68291b3143c0f203efe56e98124e


