# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: fece36a78f0652624c10367c39a79a48d24dd1c8
uuid: 9efb52bf-ab6b-45e7-94ff-8d084668a97d
input_heaps:
25053daef14bdf81b40a55488fbd8aed7b8017ad
2c6045dd5185bb7b47ef2de7fbe1577fe4833350
91b0102ef55f76d0abf674b25b186df13e28416f


