# isabelle_session_info

session_name: HOL-Nominal
sources: 2994ac270b1fb2cc49f9efb15bdc6fc48ce5d13c
output_heap: 07fd7f07f0d1a8cce7c046f5e2de308560e9f493
input_heaps:
341573a915193db629e8d127a9a53502c8309b6e
9e237ec730f89ae65421631a0a1ef3d055f5d625
76a013833eac43a00f0f01bc7c1c66e403c8a835


