# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 585edf6d5e69cb8f697520c35813cca4ccfa8cd8
input_heaps:
be278b232693c4457b48f35ed313988dcb46ad67
c4435670593a15f412caccdb28e899584112224b
ce180a094beb9ad1d2c5fb6da7b7a11bac4a36f5


