# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 8e2bb0bf4562404228b239c1753e3233b29f0b9b
input_heaps:
61532b7245075d4ea33812447b32dabbeba07b4a
3994299fe9a4f467e063bd0b975546ec5a4970e5
8ccc1d06dd290022382fe5bc5d45d91547821475


