# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 87489d07b3ac5896b101b209846a84324f3bd218
uuid: aa18f82d-2cfd-4a43-afde-0c3129a6f759
input_heaps:
46471e6616f7726ee6f7c4484f2c5ad2c2f77c52
61821a842a958a016e9d5f60f90d2a4ad88e0a58
a6af17a742945ebaa8b28f5f31cf5080ffda0bbf


