# isabelle_session_info

session_name: HOL-UNITY
sources: 57279eaf8a5f063e2933de7bd4afb169e9573390
input_heaps:
badbc4e6c4622427a16d1301f7959041c62bf6c4
ce95a93ff4b579885a0c343bf2559c84f850ef37
e0d52373aa22b27b878b2a29e3ce8601bcf2b609


