# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 3b9c8af88c9619a02c36237e6f13976187a9e2f1
input_heaps:
a3c406ce68cf4d9866a541e48db976c61e0e5644
6f001823600a7b7a26170a48ef13bd1808146348
1fcbced66af35848b4211b53d0e75e682d09e06a
018f7bd1272b8cd5453e337f820442abfd06c2c5


