# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ffa359f134ce95f75bd198146366be9c30399073
input_heaps:
cf53733eb6be06340924da21f0a2a30c8408f115
95ec6235f51fb20ff01feb967caaf0950124a8bc
2c7ce78a79b6a2f8fc7b695b68ea694847e54165


