# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c4d708d52073d1a898b1c2e311aaf2f67c98e995
input_heaps:
c7d9454d27d9285164c25015d03b0e1c2ea48457
12333de0a7120821160d4de7edfc5d07b4dc56e9
c10cccb31a112606ca55c5e8fc6c3f07f0493f7b


