# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 4df4fb3ed59e04a925ea22785a5384e5b73bb556
input_heaps:
848658d617e1d31408814b70d854f0969b4d3dd4
982c966f6e75dd78217f02ee347fdcbadf6f26c2
324da677d56cd67e7f68b5cd48b63c6a7f98fcc0


