# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: bf83709cb5f3a853ed758a85f00bbb08e9b92f11
input_heaps:
214791451a3e4263691afe954bff2e8059b80e96
e3bbbabe140c0d040cec0633cb1518077c7e2174
2063f6de91cdf10f03b0b820376e699ac94067fe


