# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 8f7a6c237e30308183f8de10800a3ffc2efed788 a78bb1a2d8018a625682c6a5e0249c3cd0b31533
input_heaps:
30107fd93ce37db2bdd67b83360028ac0c573143
925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76
ccb939e2e42340d55275025b6e8b34049191bb61


