# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 7fd0c98167bece0cfbbc6d26afb95d4369a8c114
input_heaps:
edac997306bdbbc7a1ea2002f2641008ce6aae62
b77918cb16b79b554f672156cebeb1531c9272e3
2c33ea86101063e97a0bc55fbb13f063f9f6efb8


