# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b86e52f974ec97607ee2d7ae71f1a189db406d5d
input_heaps:
f854ea4eb03a9c8a56164c4c9f9900e0cc800a63
2dd6e587916382bba3afcf62799d4ed12fe0eb85
0b5c4fad93a63d638535e624edb4f37620e0eb93
f66fafb7621e063b63bd228080d6d080a7c31972


