# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b6efd165ce0bdab4c316f6cbbf3bb25b7237aa9b
input_heaps:
7806f52011c4fba77600ca1870d3593b29503323
0b34bf6c01a8dc56802d20fdd0cc844755a7d424
f67957898cb404dd4dce8c037d8422e7953bcf60


