# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0dd87101b2b01c26f8c7a9036862e295c9679023
input_heaps:
3dd106b0fc6e16ab72e3261eac1cce577c86ae1f
a6d6d9bfe723c3b0701e88c92e528dc9c8b3fa12
7bcd5e319d1ea2a2e971c6dc7c2c7fad20f77d92
14340b78f50bec6d8f64a182c8e3bb6c681210f3


