# isabelle_session_info

session_name: HOL-Nominal
sources: b87990540d9cbdc06fa70a01330fa81b234b0d44
output_heap: 8642e0d9fc2a515f71cae22053cf55645e6f6208
input_heaps:
e16f84d7c340d8045cb3723a318bbc6979d10b50
eff78744afe789aa6bdd15553f69311e18b4e04d
4cbb7c7f0eed6e8ce78136f79870af8adcaeef21


