# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 84f56262a6daeec9b7a8495d48a1052849eeea27
uuid: bbc158c1-0d41-42f7-af5c-99a0cfcc293d
input_heaps:
8e9eae38be026970a7c0872c4351f66fb6e42703
53ae6c437663ad2f3e40161179f70dd1c9dde530
e9f2ca9de937594f6422f6087cdf2affd00ba2f4


