# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: fdfd5f763effe2c624cdb9ab46a8a0d7ac84b88f
input_heaps:
4a94cf884247418bea313a9db35e86db2b51269e
14acf31a4772521a6ac0f6c0b1425c28333b3578
8341fd756dce31f2bdcc7e1252f8ed212dc9bb83
9981e752194d201fc8ef24fb2ea866c173c5b5b6


