# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 685216be750edd071d828f262cdb8da71e430b53
input_heaps:
7ab027e11c16b198d39bde9e2a761c27851a5912
d1ce42bd7288630116e7d4230ccdfb85f09406f1
d6065728db2b86f00e7337ac56e8d876c422802c


