# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 05b7002efd4a4043e78d56d9edab7d764a689845
input_heaps:
31bf4bac648c51f49408130bf9489829be3fa993
35508bc2877195b4acaa6a24645b77282ba20bd1
88d1018df91c58e22b219c5a513021c6e27a7f2e


