# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 2e6fd7fc143e777069410b3c7cd9fc1ddf56aa26
input_heaps:
b5c424772a2a5b40f2f68f25414695f3cd309066
4421303c0db3669d059ce12e56ab74b4697966f2
fece66f5b3bfd45cb1b10e31e0171cbcee19f28a


