# isabelle_session_info

session_name: HOL-Nominal
sources: 289cae0e7ce661ac7fa2eeb7cc57180307431e4e
output_heap: 53e1adadc37190a1bc3412a22965ef2f8caeaeda
input_heaps:
99ecf617d9791e97e2694500834b58fe8bc0930e
fb68b0842b63fdebe460681283f3a90a587f7212
f82c788cc91c200dde26fa1d14e388cb48b88d4a


