# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 7081df5cdcbe22b7be9c200c8c19ea436e813513
input_heaps:
b3e898cb94fff8ea5f7388662fbada074058e744
008dcfa32f4577c3f490552fca32d890b18cd151
4a4b22d48335f69736101d783322b88a4db93963


