# isabelle_session_info

session_name: ZF-UNITY
sources: a78ad809f34be0a82d2f1f35f233d676621ed0cb
input_heaps:
edac997306bdbbc7a1ea2002f2641008ce6aae62
1b8b476cf46d168edf3954682eb39ee2867f77fb
02ae4b1d9daa7d7f4370dcd10d360bdb66dd007e


