# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 04e79528142a2dc12d5d4e8cc656ecce9e8ece63
input_heaps:
5d0079f13ee7c1516be1fd5db47237848a8fcd70
89d1c2b6896693fc9f8a95718734edee986c3528
7f0a32eed7cdcab32c7905766c4b5bcca45cf01f


