# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: b22cf35fc790a6e2c81104910063b681e55a54e7
input_heaps:
6ac43f2621aa23038ee2871857f943ba5725a1be
0a49de4572e2bdf8c075b39e270ef0518fd9ac93
4cba858f14aea594eb6ce42f1bfe9053bf52e81e


