# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 9568bad3d4a927db29848a745bcccb2f0f363cf8
input_heaps:
6f2ea6ab0b5842682397ebbb65f675c6588578c2
e101bd57939f33c881a2cb79f6e6b917cc005de1
be0bfd1cc44cb0fd12ced6dff0c4709d98221398


