# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 80dbbef59e880a92a469ba4b85dd1f0b2d25d6f7
uuid: ff697bc2-4465-4bf3-b564-73b249a1a096
input_heaps:
69be247dc43ecdde6ec938bd8fd1f08b57428e94
a98d9216082127df82717ef1b3320db859025f77
744299bf6631fc5b9762f385e2c278853de161e7


