# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8bea66baa3edb6cb7c776905adc0b34936f34f69
input_heaps:
fcd97a695ef5b62bea38497cd0d65f66703005ff
e9b88f37fc9fffc4ef10fd249175df1d7a522cfb
cb5b1b31e56e0980a9741fb6b3fe5d9fafbaa7d3


