# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4922f976bcd2dd639b57745f79274f3e17d7efe4
uuid: c48541ea-a5bf-4e56-8d46-bd013bec0ec6
input_heaps:
a4cc56f347bef96df112454c282b70177f6a68a7
4e9596f9263a14a76ff98a57cfc31d0464e8134b
2057e5fdf30039e974d96d3de95a0d88731b1198


