# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 9aa48a36622aa84acbc227d626edd5d5d8d2dc9f
input_heaps:
56dff493c54cd66b7db0c38a40d271b408a414ea
15c9718b35bbebd57dd2cb739566c2d7a0f9df58
bfcfba2c55dcea4440a5ac284b0744575e70fdb4


