# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 555f8c0693b3d7fe3367c3034af00dbc9e2b5062
input_heaps:
6f996ae759a0b89fd441125c40850611f02bb4d4
6a68b91616aa56bc8b0d5f5946b5703daf60125c
be0efbcefae1adf71a34ac10a0ef34f37e0485b5


