# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: b22cf35fc790a6e2c81104910063b681e55a54e7
input_heaps:
408130f68e215ede7936ca4ab0eafec3d85e645c
f28cf806c632fbc2897c47bd2481cf58fa5266f7
42798dd93199b1778cf67e651a5589365c71d8c2


