# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 77d3adb31d86b63ee7995cfb6b9bc638ce865332
input_heaps:
d3f289e5195aaefd6aafc967100d776a58ce0b4f
29fed47a579a81d17666737d5ee8d107ce867490
29f0eb8ecb466dda04520698fd467b8868276af1


