# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8d6ca5c5b070017cc812572ebcbc3bbe6b18a4b0
input_heaps:
db692ddae81c9b00ee09c2ccbd0bf253d1829313
a61ae159d682d08a86748e488b5545fc9c92026d
dec87339ee5118ce60098092fcdb5a3cb9ecbdb6
2bf80ca2dac6248c3c39ad364c9f57d9fc816d5b


