# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1c6e8716959603d3b1219e438f91371845e6a6f4
input_heaps:
09b31288d2a9ccacb2f6f283c9625a7fdbd68e8f
1ec97cb3aeae702d70f02f0eecc00288d6bcb40b
2a3e865c27a64b8967eb4fe653a209291934138e


