# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 5c903f117b264f5ab38e72b1e9cec55e2fbf40ae
input_heaps:
98cdb8373ea965ed3e3dfef923c097916f626e1e
3c331c2e953d1a5ffb421f67e6a22dc191ba1f22
a37a5706b97a3b9cc44d38d0ea0abed87c46a2a8


