# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c5f55280ad68bffd9f4ca17296a493a4afccace5
input_heaps:
2378b0ecfe5f199d8fe42ea5ccea70a2a20923a3
229a1d829501cf0a740156509d19e43499ab4bef
9cd0d8ceccf02274c921c2e52f169dc0a68b441b


