# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: d26c15b7b0e7d2a19a9ef5233b687b99d7624d01
input_heaps:
047361513188e7c72a6ffd9fc0d5d82009c64e0e
ae9cc23b6b2154e2dab4de08bcc111f7bdffb167
7f59c98a9ac387b79f48e38b84ad2f73788346df


