# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 5644f74fc59abfef18a2204a6f3c26aaf8910f44
input_heaps:
17c25933c8a796b55f879d9c40846151021157f8
aa8285a4d18518a93d994f653c38d76ef76976b0
6f0e132bc3fb8159753d386971f3e835535e1fec


