# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 05b7002efd4a4043e78d56d9edab7d764a689845
input_heaps:
e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc
976e5be91d6c7e38fb802dbd687a708c831185d2
aaa9fb1b61f2c81c1c6c2983e70768e34d3e7d9a


