# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ff51f94009499afc4010b4f6cbdd1ab1b61239ca
input_heaps:
b35290ea035879260bf74094b8cdee6413c2aeaf
908a19d8d489b3872b4fc9a51102282f55c5ec76
0417b9508db251231117c88fc74c8b08bb089fe5
6a5530b0eec4910339982c2f4a18012deef0df0f


