# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f53f5d5389264bc301dfd45f6478c45ccf36c663
input_heaps:
c5dbdb9c44274ccbbfb2e7b9a9fde5b75c30d671
a549469c67cbc9866fd9e930d11e2256a82f8b32
0dc9262770ad6922a979791952405918af2c0a21


