# isabelle_session_info

session_name: HOL-Nominal
sources: 9f5eb9bfcd5e0e06acbd5431f45a4cad15c8143f
output_heap: f4950b256c21388c22647328ba60d34af7f09a76
input_heaps:
a8cc758d6ab7fd0d9728cbbe893e534f8f965816
1af3aedcad71efe17b78663b69931936110aab93
34f15badb9a644c12492cc350d37337dd4eb1074


