# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4c9c6feffeb614cb3dd1d46ed616ea27bc74c6bc
input_heaps:
f8fbcf1d38d4d23767f8670a17792248e376e814
1a617edacd90b534d2c1ff55baa20ec4380b1664
17112b7ce49a03fbcf10036af58005bb999e48a3


