# isabelle_session_info

session_name: HOL-Nominal
sources: a26604121754c242d8c41960710b15fb5759c51a
output_heap: 0aa7d9276a212b174d9d7be02d4fbb2ef4e042e2
input_heaps:
5bc7b8609748a10319dc3892a3dee59fdc4e228c
8d4321ea3a63542efcc2eeabd02c563b82b91bad
d7bc99ae45fca7aba1a9b28b0f37cf0a9d0057e7


