# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: fdfd5f763effe2c624cdb9ab46a8a0d7ac84b88f
input_heaps:
6f335b5bb8779b347644e460d18a9f6245b4d5ac
cc5e75d1df4beb9a165a03b53590ef0a1708c25d
513461124470cfa2197ccabcb76a66e38ceaceb6
66e23bb6455bf6af82e11f6c63a1c8be21bd1d45


