# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b80bf5cbbdc0bf1414ab9b99704ee2a85a27f1e2
input_heaps:
7d9fa93b580f7b2d4f1fd2f547b350a3fd1985a1
51090f86b27d57beb37832df883e305949dac6f7
930ff2e982498f5aadca2c73e22ced6826720220


