# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 25c4d4add8ab3b010a6977a611392b4569a50af4
input_heaps:
e2015e5246e1a7618d650fad22191f33705e8e0c
8a8103e86b35297b75bf7c8f4f146e87c135f0be
f88bf4e1fe757e7b5527fa24055c2c8fc1dda797


