# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b4f9b6858e5fec180ba873e3816c1af4a4dcbc34
input_heaps:
a065929dd1485620a1fe2ad1ab24aa44d802e5d5
ede8de29f8f7a2c7b32f6204d128100843065a70
cf40046c067585493ddf3eba008355fd2ae23943
33ffc9fe49c6922942babc161ec1718f6b322508


