# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8bea66baa3edb6cb7c776905adc0b34936f34f69
input_heaps:
74eab28ea8da34ee4aab975b64b0bf23a196307d
5a1b5ba83b73501af4f4fc7c4ccf60a6f99ce620
316cddc4022c97640b28beb266fe41a0e79016a9


