# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c574473a3841fb518a0fae7cb68ad48200c5ade4
input_heaps:
16fd1087ad908b63e82075696fd8c8c64c13a046
22d2e6a05f68f000eaa28c45ffa4af02862fc08e
59b354f7810cb8c8181ede8b0ff4125fdaed1e58


