# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 8e2bb0bf4562404228b239c1753e3233b29f0b9b
input_heaps:
19126f922e3aa9c20f5a31237f68a37a6d2cdfb1
078fec9a335ed8e63b0d7f40d8edca7f752c4fb3
da99a0011cc188ea862d39f364757da5337262af


