# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4caa942ebfd2429a84dc52562855172cca590850
uuid: 9bfe3c8c-5a8f-4730-8970-2d5be385e2c8
input_heaps:
980033d053f0749333661519c4d298c6280be1b3
69ff0e8818b8f465f2585ea0f57a610ce777e1be
14bb3c9e02ba6fdfd1f42f07116e1ef2acb80a3f


