# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 086555d15f24a21aec4350ee5de1b2703660d4dd
input_heaps:
ba25d24cc2e874a8354e87d4e48e9c15efe344a0
e9bd04c0bbf88566c8b48c915dcdb7deced6c947
4bd83c286ed914bf8bebba9d312766410e2bf2e5


