# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: a78bb1a2d8018a625682c6a5e0249c3cd0b31533 d76d9b41b0cf327b21247582ee9d98d63602bf7e
input_heaps:
d38e002fb81c6e684e22dfb9a00446f1cfd993cd
c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
be0585f848163f837db4f19899ea9e14732f1b0b


