# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8a9e0d0ea28d756ba1fe954d5b361fb70f70b0aa
uuid: 3770b63f-9a2d-4f12-baae-5a9978b0f5af
input_heaps:
d3f897dbede5114e044d830121d9dc2b656057db
736e4fc5a7aca9f5f524c2f1dcf705553bd6aaed
b57c3c5c849ea64df801784cb8ee1ddec9fc458e


