# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 09798db9ee919851d3e5ad53cd3ded0ae8bc46a7
input_heaps:
e6d6fb0bf43d2a1b0c6a5a3670d17677a7f6c45a
d77087a1ce98fcad9061f403d284fcd8d9806c12
b9b3ce6a5864c75771d316fc988045464e0ce687


