# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 2e6fd7fc143e777069410b3c7cd9fc1ddf56aa26
input_heaps:
41dfddd2151ebee28efc9e26dbae12c72d1935da
81c9499a7df86d3b7533ed9c6efc8881fcc10f44
adea580ff7c83b488f6f8e714cd0bfefae40249b


