# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d9b748553447537b7250a77f51d65c079dc9dfbc
input_heaps:
334e417d7f04d08dd2e235659180091543a44765
45912edf3b76cef52f4da1af88cb975398527801
83bf6038424f988f4b691f85929308f472a64393


