# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 63f258d2b89343a408c319e0d85bb2083e440b1d
input_heaps:
6ccf3784ca06017dd464fef9ca771f74833a3d84
f48c6e7ed3e3e7c579806006e532e60580ca3e78
c63be61ed8edcc6b3e3886b0e29d912fec85e0e2
f09581a3422b397bb339585b46fa19e0c6e98148


