# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 7fd0c98167bece0cfbbc6d26afb95d4369a8c114
input_heaps:
04546e13b3ec7f70b074138ed2f4d8667390e734
094d1060cfdb72ebd3fd1291784fda6152066b69
dc935e7d450dbf57ce4ef81d3bf8341d03909345


