# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 7bc7cea6b3b7ed5e88b110947dce92f6ae3d0db2
input_heaps:
db456e2182b198adfdec654a00d5bb35f7784ab2
b9ec9d6295bf04a1d5eaa3d01cae5193bc8711a6
e74b8d18e2ee0e40531b2cde3a49dc94e114f93e
fed9a49152f25c7e3c3aaeccb23bffcb4bb2bc37


