# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: d26c15b7b0e7d2a19a9ef5233b687b99d7624d01
input_heaps:
daf53072a7b7da07dacaeec0891eaa6642c159c2
e32a9e161b57c989291c7f5fad06918aacff06a5
d0469d09faf6415ba713cdba85b04a92ea180b4c


