# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 4df4fb3ed59e04a925ea22785a5384e5b73bb556
input_heaps:
ec4f72521e1e679fd5cff6fa91e397c5873c6432
dc95e50d9809fb8249d7a6a630b1f18cc52d769d
92c31343320c62f07d0c6225a8890f905f3f5d61


