# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4f41f9000d26e26cdf9cec2566f932af03e1cae8
input_heaps:
1ff54ca3c0b35679bcb668ab161c4d90ed31f0a9
27a80fdf367af8eac6281dc27ec1d7c6dc00010d
13bcde15124eafed424d15bd6befc4e63fac6408


