# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c639ca54605e0877011e3ef2109a1d24b00fd52a
uuid: d78cfa1d-3359-4150-8778-f929df9eca62
input_heaps:
36485b6181fa7dd2234febf349f141456f576e41
2938869a4687eaba215c72dd9230cf340caa7c0e
f4aead7331f8c775bf36fbba6d89c69b17a8ab95


