# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 8edfc4234d1f8140efb0b1e5f8ec2395e63e318d
input_heaps:
98dd477b080148668828b0f67c6e8a1d9708b3f3
2dc2b5acf411764d9a49dd03e6f20aef615ae67d
d00a436434ab985d1ba7daf95696987c528f5644


