# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 8f7a6c237e30308183f8de10800a3ffc2efed788 a78bb1a2d8018a625682c6a5e0249c3cd0b31533
input_heaps:
76e60ab7be570c8f37ab4fbd0cc297599bd4212e
75f08b6f45353080735e360691a96b11d33f8575
be3fc377e30d399da7611eecad9abbd8c036a69b


