# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 982788cf1abfbb002b583564396cdb57f01c42dd
input_heaps:
eaa94e7560b78888e2ccc5df82217e3fa99ea515
96fbfc89185ba2b91d08a1c616c5bcccc36f7964
050cbbab6e37e0d33dcef3768e18e6dfe3dbc7ba


