# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 376a157104cc1fd177122ae3075554b99a8a77bd
input_heaps:
ccfe400cf73fd62fd12acb34409977712e22d6e5
10dc6874cfc163bd3ebe399c64a6eed2318ef64b
25b90743d1281bfd1bba7e3f4d92443f81c8b32c
e1b1caaeadb1efe9adf2aeeec927fd733e0e869d


