# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: b22cf35fc790a6e2c81104910063b681e55a54e7
input_heaps:
0c5a4afe0b9501e0ce9b4d420c798cac3bea6e73
d8f435e385accbfaccb5be9a9486618794bd571c
02eba059e840cbb473d07877d00693cb3a3350b7


