# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: e1a701fa620aa8a5a00fe7be88db24272f71b361
input_heaps:
ccf9b9418e9c76b5688e2dd3ccca778f920a9297
2b81ca4de31fb7c354e77106786e7248d054178d
150890ecd5d7abe3d940db6b9050ca3370cc59c2


