# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 80f714179c1b528deea36482c86f4573b36a4bd8
input_heaps:
f722b87a2014eb7befffb2473c23cf2102cf8792
4e20d4df64b88f151e3ac397cb2e54e54fbe7a26
ab429471344880fedefde4cdb66e302e528933b5


