# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 508a043b74a46a1c22fb504da2ae62b6150ce88d
input_heaps:
f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b
35eaa225201857107e827622fdda13b757fd8deb
5da549e2143fa68e8ed056429bdd27eb31d886de


