# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e4b805affed485040ee0f06c4fddf5d1e14eab92
input_heaps:
b883a48d9fa3f48a786f69b365d44319b1384898
63e31ad1910c4b6b20266b2e8ac7f3c4064fb790
6de1bb854418a5dedd64cdbbff2f8702fd75defc


