# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4c9c6feffeb614cb3dd1d46ed616ea27bc74c6bc
input_heaps:
a45a2358f19134d58d1b89fd101453cb9f85e39c
88005f1b2ddfe13d2656c7dc04b6e7a4dbefe132
210d51783946bc323466f420e726ecf348d34354


