# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c222da3cb17fe78031f2a6283fb72adeda9b7231
input_heaps:
ebe1e700d1ea7c31a82b493fe8285299f0402806
6870c15ecc01bf16aa8d754cd67c6996a7d04f84
7f93d5a92cd2da8ba91903c8028779d967b59b80


