# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8ceef49e512e78e4a540465b82d95cd0966e190c
input_heaps:
4595afb03e1f09e2fb0e3d35cf65a491a7b537d5
d3b8f1eb8eb9e490c4f891a0ca21373c1a3d6f0d
94a8ed6ddc7cd9dcc315786f05cb191d09737bc7


