# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1c27b0960e8fc468ae5f3db2f7cc1a17239fc715
input_heaps:
841a6ebc9df4d3d77970367d96045136ac45f9bb
fcde4847564b28eee4e689b3e0e9ea79736c6211
ac4c926944845e45b1a5547df15632be7a17586b


