# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 633d83470db242adb981f5b59f1458c229c15a50
input_heaps:
9b4902f8e8c2cff8739e12b432b794bca1b63c5f
bd7d4d62ea14622c8855a61e25906a49ea079dab
06bfdd521f7e0c95a75e907812b4865f1f981c5d


