# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 525dc945b0d0b10ca855feda6eeac0eb68bad982
input_heaps:
66da40a09a6751d87de8ae236e637a692a9b1c0e
4af5075887a76481f038d4f4925e41d5598ce611
abe2b8d243e638473766f804c960358bd806680a


