# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e89eaee6683c63d448428e26f63afa42c6869be2
input_heaps:
5f6b46d75794d7d779141526bb8c5d38bc06bffe
14fad242a862a8a0327553b16251c149a42b3da2
01ad035532cbe486194b1bf219cd96ecfa7467a0
d4b5152c2b532d1ed0f041f196ccf04957e198be


