# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e9663a7db9d64d5175fe4b0655e6b4ed962ace7c
input_heaps:
edac997306bdbbc7a1ea2002f2641008ce6aae62
b77918cb16b79b554f672156cebeb1531c9272e3
6f75f36220cfd6293dc7135b60e38814cc85b7ac
dda22efda883d964fc21786b547f95c3d4691d68


