# isabelle_session_info

session_name: HOL-Nominal
sources: 289cae0e7ce661ac7fa2eeb7cc57180307431e4e
output_heap: 1f673d99a520ce764b71600057aee7999a7f562a
input_heaps:
381b0b6f5ce27306df5e53b57f6ec5e3417fdc9a
7c6d46e4371dddfd01328e9f87c81c7516f6eaf8
13ed4ab13cea30e085478f948769ae8030f54baf


