# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: afda8419a5f86fa4af1b98644fc091045417d6d2
input_heaps:
ad9522bc18e2b2a6cf26599b560f2a9ea7596aee
b002d126cf91bb7c3419b108b7ca31e9b00c41f3
51a7ed38d58663905bdb7495d49784a0156b7357
3306f14b507e99f4c04e4751c8e8a47f97b9be4c


