# isabelle_session_info

session_name: HOL-Nominal
sources: e9f60ff86a661e5a1610f2888c682bbfb56d9d9a
output_heap: 0be212644b5af3823ebe98b1ae2a1e5c78fed7fe
input_heaps:
497eea8787938391457661acf0f01a612c4d3497
182c5054259d818f89537dbe8e9d95f42041a820
384dd6c65ff1e3bb56c057d48994894bfe7c8f8a


