# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 89a889fcc3ca28a1cfb24c11bd2657d2274a5178
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
6e9ef8f2abd726a1af01a7475da1d8b354ee112e


