# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 77718ab371098ce9d6533f13dc6dae302ee52bb1
input_heaps:
a429cf6bd5a58ac47c7763de2b4ef57e3ddfd2ef
079e9fd5cfdf5f97afbb4f697151ea8bae9eac63
ab6a9d6d0d490a2943bb248150e2614797529be1


