# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 633d83470db242adb981f5b59f1458c229c15a50
input_heaps:
d50d23da2fba2fa66eac370561c930ef78815f64
42ad9fe34f8eb64ea2663c9e76a55f6c21a58507
cd6f76072aa492588331dd68b32257fc7dd85f92


