# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 477498ccdb3f978a1ce4720971a7ea6bfb20bda7
input_heaps:
b7e847e721809281cd40042e7df94b0de64e4297
d40f74ab6c572f5a7c6fb839c79aeb7813dcf391
96e7d01d2e8635fd01b39dbd704355426dd3dff7
5bf5754f9e73ec03b0e7146518ee96668b945767


