# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a1b360f9d705a41c2deb6d74fb9eb0e3c9f0d232
input_heaps:
58d0f01554815b2ca2b0ce1eceea445cfa26d876
c68ce415310124a77b51aaffc37a88173faa34e4
6b157661e787cea622e8b4f7b3304a48a2eb04dc
0d5cc4e9ce3542df4f18e93ae6b3e0a92ba44150


