# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 7fd0c98167bece0cfbbc6d26afb95d4369a8c114
input_heaps:
80336e722f2282f0e73859bdb2bc1deeb5e20e13
e71e14a4803a9741ead2aefcee7360a997c650e5
26d7b9e7365c55cc13e54014cbd380ba8c14c80e


