# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4020fbc855b884c068976922558ec648627907ef
input_heaps:
caf53bc8268fc8dfb50be4ed535ead80069d9586
11d4952bf6f16d31d2122f86b553dc1d6cdd2c0b
7163e6027946f1b8b8fd8292313cb92d1acbba78


