# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 3295020e2f57f400d569e5f34ef51d52892e48d6
input_heaps:
71ff5a8bbdfc43c9b0b231f02646a3d44e6e9566
29613e1ba570ce5d15b2350e88ce8def22fab79d
1f6fe43eef79ef9539c38fe294ea34e56740e9a2
57806d23a1b7423e703ec523c53f99d1d4d2ca9b


