# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 85b3e2a12cddb9360c20b1ad631b540b9b94858b
input_heaps:
42a32478847503f3f85ef33601da5d3576da9156
89ede7dc0b82d7f6167cc537096edf93d9e4a1bb
dc9691f894f2b16fead545ef8fd13ae2982ca897
31d2226e9064930e9569fb04598362819cd2054c


