# isabelle_session_info

session_name: HOL-Nominal
sources: dfee5e28ff9c92f178f0da8beff39f5f40d3ad89
output_heap: 542fd2e7161d36dc422ae70128ee70a8ca6708b8
input_heaps:
b4f0352ef26758d0b807242b0832bb09719f7d40
32f5edeff731c7afb4d63e2d21f4fc6ef1b3c6de
f228b9066c4332f0fb36022851fcb497ebc665dd


