# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 8f7a6c237e30308183f8de10800a3ffc2efed788 a78bb1a2d8018a625682c6a5e0249c3cd0b31533
input_heaps:
7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd
67de1e4faa6c594cac8f83698b542c3bbb933a16
087a7391f4db080ce84d04393b100d59981b0c6c


