# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 63f258d2b89343a408c319e0d85bb2083e440b1d
input_heaps:
19b4b25e295fa87e73b1db14b76878201d84b83c
1937eed2483e86963c5970fbbfe36381a164809c
2b633afd512e8c67b4ca7841dff6137720b92e65
168592c875cf512488420bc6dff5af58f60ac597


