# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 8e2bb0bf4562404228b239c1753e3233b29f0b9b
input_heaps:
02c004c6c9aafa82f15da682e96a689a5860ebc7
eaef017979241d0dca2626b9e34da89976cc0785
447d9996e34c8f5a1994790946614118218c40c2


