# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a7c0c3c6f0198f847f6ee44137e215f27162e90b
input_heaps:
0f50a8fd984ed9a922d06f59b224a37ab44e72f2
fd8ab938506a6adef84d05e82b2423fed153db7b
c628637a3499d28ce3d263cb68d7f9d43c04ca92
b9d72ca1daedf6b90f7fdb11a5d32e0a3b648cf7


