# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 839825303337941a8b857dbe8d57b2a89e740b94
input_heaps:
3e7cae349853bb3f654071d127673716b1e97131
e76faa548233303457fe1f8acd3f956c35127c42
c65bb4d1c9a2004652657f160deebf18ac7f866c


