# isabelle_session_info

session_name: HOL-Nominal
sources: cebbb28d280e7ffcf0eca7b8ee58a428d92efc40
output_heap: 5e25dc239eef2cd55b5733c80eb5b681f238bd3d
input_heaps:
e2bf23c7d7eb3616a6ada91fb6d55c5b24a424db
a63549e9f792e863f2c65c2de3f08035d4b61871
250b0e802eec4ab458c9da26debddd91e5310ab5


