# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 4df4fb3ed59e04a925ea22785a5384e5b73bb556
input_heaps:
7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d
c778faa6bf8be5df05c2dfef635e886ae01138d5
467e13a059a84e1600d8a135c853d76da44399f0


