# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 7eec2d9840d5cece3efb10ced44530399579f127
input_heaps:
13c804e8da8a74f383295a6bfe0c4311b16f8b3d
3638ddca034a61397c1cb22b68500e71420bb98c
3502ae365efdf531123a3f7110e5b1be554c347c
6e38b0c5f8b2e6974d84bfb277ce728c8beee57f


