# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 482ed6a9b2347513525d1530ed0ccf1e291f3968
input_heaps:
38867e5306c19b07a2c7db9d689e995dd15f38da
f934eca5d985190f9293e0a9f9873f649485e0ce
efcdb3c4c9f2be5ff1f45a937fb6f554a14a61bb


